Changeset 1425

Timestamp:

2015-06-12T00:58:58-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-tests.lisp

@@ -314 +314 @@
     (is (equalp (print (elimination-ideal ring-and-order fl 2)) nil))))
 
+(test colon-ideal
+  "colon-ideal"
+  (let* (($poly_grobner_algorithm :buchberger)
+         (I (cdr (string->poly "[x^2*y,x*y^2]" '(x y))))
+         (J (cdr (string->poly "[x,y]" '(x y))))
+         (ring *ring-of-integers*)
+         (order #'lex>)
+         (ring-and-order (make-ring-and-order :ring ring :order order))
+         (elim-1-fl (cdr (string->poly "[y]" '(x y)))))
+    (is (equalp (elimination-ideal ring-and-order fl 1) elim-1-fl))
+    (is (equalp (print (elimination-ideal ring-and-order fl 2)) nil))))
+
 (run! 'ngrobner-suite)
 (format t "All tests done!~%")