Changeset 4213 for branches/f4grobner

Timestamp:

2016-06-04T13:17:45-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-division.lisp (modified) (1 diff)

branches/f4grobner/5am-division.lisp

@@ -85 +85 @@
 
 (test normal-form-easy
-  "An easy normal form"
-  (is (normal-form (string->poly "3*x^2*y-x*y-1" '(x y)) (cdr (string->poly "[x-y,x+y]" '(x y))))
-      (string->poly "3*y^3-y^2-1" '(x y))))
+  "Easy normal form tests"
+  (is (universal-zerop (normal-form (string->poly "0" '(x y)) (cdr (string->poly "[x,y]" '(x y))))))
+  ;; Maxima equivalent: poly_normal_form(3*x^2*y-x*y-1,[x-y,x+y],[x,y]);
+  (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))))
+                        (string->poly "3*y^3-y^2-1" '(x y))))
+  ;; Maxima equivalent: poly_normal_form(3*x^2*y*z-x*y^3-1,[x^2-2*y,x+y*z],[x,y,z]);
+  (is (universal-equalp (normal-form (string->poly "3*x^2*y*z-x*y^3-1" '(x y z))
+                                     (cdr (string->poly "[x^2-2*y,x+y*z]" '(x y z))))
+                        (string->poly "y^4*z+6*y^2*z-1" '(x y z)))))
 
 (def-fixture exact-division-context ()