close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4213 for branches


Ignore:
Timestamp:
2016-06-04T13:17:45-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-division.lisp

    r4212 r4213  
    8585
    8686(test normal-form-easy
    87   "An easy normal form"
    88   (is (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y))))
    89       (string->poly "3*y^3-y^2-1" '(x y))))
     87  "Easy normal form tests"
     88  (is (universal-zerop (normal-form (string->poly "0" '(x y)) (cdr (string->poly "[x,y]" '(x y))))))
     89  ;; Maxima equivalent: poly_normal_form(3*x^2*y-x*y-1,[x-y,x+y],[x,y]);
     90  (is (universal-equalp (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y))))
     91                        (string->poly "3*y^3-y^2-1" '(x y))))
     92  ;; Maxima equivalent: poly_normal_form(3*x^2*y*z-x*y^3-1,[x^2-2*y,x+y*z],[x,y,z]);
     93  (is (universal-equalp (normal-form (string->poly "3*x^2*y*z-x*y^3-1" '(x y z))
     94                                     (cdr (string->poly "[x^2-2*y,x+y*z]" '(x y z))))
     95                        (string->poly "y^4*z+6*y^2*z-1" '(x y z)))))
    9096
    9197(def-fixture exact-division-context ()
Note: See TracChangeset for help on using the changeset viewer.