Changeset 4176

Timestamp:

2016-06-03T10:34:34-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-criterion.lisp

@@ -82 +82 @@
     (is-false (criterion-1 false-pair))))
 
+(def-fixture criterion-2-failure-context () 
+  (let* ((p1 (string->poly "x^2+2*y" '(x y z)))
+         (p2 (string->poly "y*z + z^2" '(x y z)))
+         (pair (make-instance 'critical-pair 
+                                   :first p1 
+                                   :second p2))
+         (b-done (make-hash-table))
+         (partial-basis nil))
+    (&body)))
+
+(test criterion-2-failure
+  "Second Buchberger criterion failure"
+  (with-fixture criterion-2-failure-context ()
+    (is-false (criterion-2 pair b-done partial-basis))))
+
+
 (run! 'criterion-suite)
 (format t "All tests done!~%")