Changeset 3888
- Timestamp:
- 2016-05-28T22:20:54-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-symbolic-poly.lisp
r3847 r3888 63 63 (is (equalp (with-input-from-string (s "X^2-Y^2+(-4/3)*U^2*W^3-5") (read-infix-form :stream s)) 64 64 '(+ (- (EXPT X 2) (EXPT Y 2)) (* (- (/ 4 3)) (EXPT U 2) (EXPT W 3)) (- 5)))) 65 (is (equalp (->infix (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w)) '(x y zw))65 (is (equalp (->infix (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w)) '(x y u w)) 66 66 '(+ (* 1 (EXPT X 2)) (* -1 (EXPT Y 2)) (* 4/3 (EXPT Z 2) (EXPT W 3)) (* 1))))) 67 67 68 68 69 (def-fixture sym-poly-context ()
Note:
See TracChangeset
for help on using the changeset viewer.