Changeset 3702

Timestamp:

2015-09-06T06:56:55-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-poly.lisp

@@ -164 +164 @@
     (is (universal-equalp (poly-primitive-part p) pp))))
 
+(test saturation-extension
+  "Saturation-extension"
+  (let* ((f (list (alist->poly '( ((1 0 0) . 2) ((1 0 1) . 3))) ;2*x+3*x*z
+                  (alist->poly '( ((1 0 0) . 5) ((0 1 2) . 7)))) ;5*x+7*y*z^2
+           )
+         (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4
+         (sat-ext (list (alist->poly '( ((0 1 0 0) . 2) ((0 1 0 1) . 3)))
+                        (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7))))))
+    (is (universal-equalp (saturation-extension f (list p)) sat-ext))))
+
+(test saturation-extension-1
+  "Saturation-extension-1"
+  (let* ((f (list (alist->poly '( ((1 0 0) . 2) ((1 0 1) . 3))) ;2*x+3*x*z
+                  (alist->poly '( ((1 0 0) . 5) ((0 1 2) . 7)))) ;5*x+7*y*z^2
+           )
+         (p (alist->poly '( ((1 1 1) . 11) ((2 3 4) . 13)))) ;11*x*y*z+13*x^2*y^3*z^4
+         (sat-ext-1 (list (alist->poly '( ((0 1 0 0) . 2) ((0 1 0 1) . 3)))
+                          (alist->poly '( ((0 1 0 0) . 5) ((0 0 1 2) . 7))))))
+    (is (universal-equalp (saturation-extension-1 f p) sat-ext-1))))
+
 (run! 'poly-suite)
 (format t "All tests done!~%")