Changeset 3479 for branches/f4grobner/5am-monom.lisp

Timestamp:

2015-09-05T10:19:07-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-monom.lisp

@@ -92 +92 @@
     (is (equal (monom->list m) '(1 2 3)))))
   
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;;        Order generics (LEX>, GRLEX>,...) tests
+;;
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+
+(def-fixture order-context ()
+  (symbol-macrolet 
+      ((p (make-instance 'monom :exponents '(1 3 2)))
+       (q (make-instance 'monom :exponents '(1 2 3))))
+    (&body)))
+
+(test order
+  "order"
+  (with-fixture order-context ()
+    (is-true (lex>  p q)) 
+    (is-true (grlex>  p q)) 
+    (is-true (revlex>  p q)) 
+    (is-true (grevlex>  p q)) 
+    (is-false (invlex>  p q))))
+
+(def-fixture elim-order-context ()
+  (let* ((p (make-instance 'monom :exponents '(1 2 3)))
+         (q (make-instance 'monom :exponents '(4 5 6)))
+         (elim-order-factory (make-elimination-order-factory))
+         (elim-order-1 (funcall elim-order-factory 1))
+         (elim-order-2 (funcall elim-order-factory 2)))
+    (&body)))
+
+
+(test elim-order
+  "Elimination order"
+  (with-fixture elim-order-context ()
+    (is-false (funcall elim-order-1 p q))
+    (is-false (funcall elim-order-2 p q))))
+
+
 (run! 'monom-suite)
 (format t "All tests done!~%")