- Timestamp:
- 2015-06-15T14:10:17-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r1665 r1854 122 122 (m2 (make-monom :initial-exponents '(3 5 2))) 123 123 (m3 (monom-mul m1 m2)) 124 (t1 (make-term m17))125 (t2 (make-term m29))126 (t3 (make-term m3(* 7 9))))124 (t1 (make-term :monom m1 :coeff 7)) 125 (t2 (make-term :monom m2 :coeff 9)) 126 (t3 (make-term :monom m3 :coeff (* 7 9)))) 127 127 (is (equalp (term-mul +ring-of-integers+ t1 t2) t3)))) 128 128
Note:
See TracChangeset
for help on using the changeset viewer.