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

Timestamp:

2016-06-03T01:46:31-07:00 (8 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/5am-monom.lisp

@@ -213 +213 @@
     (is (universal-equalp (left-contract term 1) term-contracted))))
 
+(test sexp-conversion
+  "Sexp conversion"
+  (is (equal (->sexp (make-instance 'term :exponents '(0 0 0 0) :coeff -5) '(x y u v)) -5))
+  (signals (error "Variables NIL and exponents #(0 0 0 0) must have the same length.")
+    (->sexp (make-instance 'monom :exponents '(0 0 0 0))))
+  (is (equal (->sexp (make-instance 'monom :exponents '(0 0 0 0)) '(x y u w)) 1))
+  (is (equal (->sexp (make-instance 'monom :exponents '(0 0 1 0)) '(x y u w)) 'u))
+  (is (equalp (->sexp (make-instance 'monom :exponents '(1 2 1 1)) '(x y u w))
+              '(* X (EXPT Y 2) U W)))
+  (is (equal (->sexp (make-instance 'term :exponents '(0 1 0 0) :coeff -5) '(x y u v))
+             '(* -5 Y)))
+  (is (equal (->sexp (make-instance 'term :exponents '(1 1 0 0) :coeff -5) '(x y u v))
+             '(* -5 X Y)))
+  (is (equal (->sexp (make-instance 'term :exponents '(1 0 0 0) :coeff -5) '(x y u v))
+             '(* -5 X)))
+  (is (equal (->sexp (make-instance 'term :exponents '(11 0 0 0) :coeff -5) '(x y u v))
+             '(* -5 (EXPT X 11))))
+  (is (equal (->sexp (make-instance 'term :exponents '(11 0 0 0) :coeff 5) '(x y u v))
+             '(* 5 (EXPT X 11))))
+  (is (equal (->sexp (make-instance 'term :exponents '(11 0 4 0) :coeff 5) '(x y u v))
+             '(* 5 (EXPT X 11) (EXPT U 4))))
+)
+
 (run! 'monom-suite)
 (format t "All tests done!~%")