Changeset 4448 for branches

Timestamp:

2016-06-11T13:13:22-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

Summary: Added auto-wrapping tests

File:

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

branches/f4grobner/5am-monom.lisp

@@ -229 +229 @@
 )
 
+(test term-auto-wrapping-when-created
+  "Term auto-wrapping upon creation"
+  (let ((term-with-integer-coeff (make-instance 'term :dimension 3 :coeff 7))
+        (term-with-rational-coeff (make-instance 'term :dimension 3 :coeff 3/5)))
+    (is (eq (class-of (term-coeff term-with-integer-coeff)) (find-class 'integer-ring)))
+    (is (eq (class-of (term-coeff term-with-rational-coeff)) (find-class 'rational-field)))))
+
+(test term-auto-wrapping-when-assigned
+  "Term auto-wrapping upon assignment"
+  (let ((term-with-null-coeff (make-instance 'term :dimension 3 :coeff nil)))
+    (setf (term-coeff term-with-null-coeff) 7)
+    (is (eq (class-of (term-coeff term-with-null-coeff)) (find-class 'integer-ring)))))
+
+
+
 (run! 'monom-suite)
 (format t "All tests done!~%")