compare(ex(0)) -> is_zero()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 9 Oct 2003 21:07:36 +0000 (21:07 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 9 Oct 2003 21:07:36 +0000 (21:07 +0000)
check/exam_differentiation.cpp

index 33b13b1f05d3ccee9e82094d9425fc88b8505a23..8f739ff448a1b1b297458bdb163f4c98c53b1828 100644 (file)
@@ -26,7 +26,7 @@ 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 ";
@@ -223,7 +223,7 @@ static unsigned exam_differentiation6()
        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;