Changeset 4387 for branches/f4grobner/5am-buchberger.lisp

Timestamp:

2016-06-07T09:24:32-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

 

File:

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

branches/f4grobner/5am-buchberger.lisp

@@ -102 +102 @@
     (&body)))
     
+#+nil
+(test buchberger-advanced-preliminary
+  (with-fixture buchberger-advanced-context ()
+    (print (poly->string (elt gb 0)))
+    (print (poly->string (elt gb 6)))))
+    
+
+#+nil
+(test buchberger-advanced-partial
+  (with-fixture buchberger-advanced-context ()
+    (loop 
+       for i from 0 below (length gb)
+       do
+         (loop 
+            for j from (1+ i) below (length gb)
+            do
+              (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb))))
+                  "Failed with I=~S, J=~S~%" I J)))))
+
+#-nil
 (test buchberger-advanced
   "Buchberger algorithm - advanced case"
   (with-fixture buchberger-advanced-context ()
-    (is-true (grobner-test gb fl))
-    ;;(is (every #'universal-equalp (buchberger fl) gb))
+    ;;(is-true (grobner-test gb fl))
+    (is (every #'universal-equalp (buchberger fl) gb))
     ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
     ))