* Rational function normalization test suite. */
/*
- * GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
#include "exams.h"
result += check_normal(e, d);
e = (pow(x, 2) - pow(y, 2)) / pow(x-y, 3);
- d = (x + y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
+ d = (x + y) / pow(x - y, 2);
result += check_normal(e, d);
e = (pow(x, -1) + x) / (pow(x , 2) * 2 + 2);
// Fraction cancellation with rational coefficients
e = (pow(x, 2) - pow(y, 2)) / pow(x/2 - y/2, 3);
- d = (8 * x + 8 * y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
+ d = (8 * x + 8 * y) / pow(x - y, 2);
result += check_normal(e, d);
// Fraction cancellation with rational coefficients
result += check_content(5*x-15, x, 5, 5, x-3);
result += check_content(5*x*y-15*y*y, x, 5, 5*y, x-3*y);
result += check_content(-15*x/2+ex(25)/3, x, ex(5)/6, ex(5)/6, 9*x-10);
+ result += check_content(-x*y, x, 1, y, x);
return result;
}