* Tests for symbolic differentiation, including various functions. */
/*
- * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2015 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"
+#include "ginac.h"
+using namespace GiNaC;
+
+#include <iostream>
+using namespace std;
static unsigned check_diff(const ex &e, const symbol &x,
const ex &d, unsigned nth=1)
{
ex ed = e.diff(x, nth);
- if ((ed - d).compare(ex(0)) != 0) {
+ if (!(ed - d).is_zero()) {
switch (nth) {
case 0:
clog << "zeroth ";
clog << "derivative of " << e << " by " << x << " returned "
<< ed << " instead of " << d << endl;
clog << "returned:" << endl;
- ed.printtree(clog);
- clog << endl << "instead of" << endl;
- d.printtree(clog);
+ clog << tree << ed << "instead of\n" << d << dflt;
return 1;
}
}
// Simple (expanded) polynomials
-static unsigned exam_differentiation1(void)
+static unsigned exam_differentiation1()
{
unsigned result = 0;
symbol x("x"), y("y");
}
// Trigonometric functions
-static unsigned exam_differentiation2(void)
+static unsigned exam_differentiation2()
{
unsigned result = 0;
symbol x("x"), y("y"), a("a"), b("b");
}
// exp function
-static unsigned exam_differentiation3(void)
+static unsigned exam_differentiation3()
{
unsigned result = 0;
symbol x("x"), y("y"), a("a"), b("b");
}
// log functions
-static unsigned exam_differentiation4(void)
+static unsigned exam_differentiation4()
{
unsigned result = 0;
symbol x("x"), y("y"), a("a"), b("b");
}
// Functions with two variables
-static unsigned exam_differentiation5(void)
+static unsigned exam_differentiation5()
{
unsigned result = 0;
symbol x("x"), y("y"), a("a"), b("b");
}
// Series
-static unsigned exam_differentiation6(void)
+static unsigned exam_differentiation6()
{
symbol x("x");
ex e, d, ed;
ed = series_to_poly(ed);
d = series_to_poly(d);
- if ((ed - d).compare(ex(0)) != 0) {
+ if (!(ed - d).is_zero()) {
clog << "derivative of " << e << " by " << x << " returned "
<< ed << " instead of " << d << ")" << endl;
return 1;
}
// Hashing can help a lot, if differentiation is done cleverly
-static unsigned exam_differentiation7(void)
+static unsigned exam_differentiation7()
{
symbol x("x");
ex P = x + pow(x,3);
return 0;
}
-unsigned exam_differentiation(void)
+unsigned exam_differentiation()
{
unsigned result = 0;
cout << "examining symbolic differentiation" << flush;
- clog << "----------symbolic differentiation:" << endl;
result += exam_differentiation1(); cout << '.' << flush;
result += exam_differentiation2(); cout << '.' << flush;
result += exam_differentiation6(); cout << '.' << flush;
result += exam_differentiation7(); cout << '.' << flush;
- if (!result) {
- cout << " passed " << endl;
- clog << "(no output)" << endl;
- } else {
- cout << " failed " << endl;
- }
return result;
}
+
+int main(int argc, char** argv)
+{
+ return exam_differentiation();
+}