Changeset 1496

Timestamp:

2015-06-12T12:49:04-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/5am-tests.lisp (modified) (2 diffs)

branches/f4grobner/5am-tests.lisp

@@ -360 +360 @@
 
 ;; Calculate [F, U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
-(test saturation-extension
+(test saturation-extension-1
   "Saturation extension with 1 polynomial"
   (let* ((F-str "[x^3,x^2*y]")
@@ -370 +370 @@
     (is (every #'poly-equal-no-sugar-p 
                (saturation-extension-1 ring F p)
-               F-sat))
+               F-sat))))
+
+(test saturation-extension
+  "Saturation extension"
+  (let* ((F-str "[x^3,x^2*y]")
+         (F (cdr (string->poly F-str '(x y))))
+         (P (cdr (string->poly "[x^2]" '(x y))))
+         (ring *ring-of-integers*)
+         (F-sat (append (cdr (string->poly F-str '(u1 x y)))
+                        (cdr (string->poly "[u1*x^2-1]" '(u1 x y))))))
     (is (every #'poly-equal-no-sugar-p 
-               (print (polysaturation-extension ring F (list p)))
+               (print (polysaturation-extension ring F P))
                F-sat))))