Changeset 4029
- Timestamp:
- 2016-05-31T15:33:47-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-symbolic-poly.lisp
r3889 r4029 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 u w)) 65 (is (equalp (poly->string (string->poly "1" '(x y u w)) '(x y u w)) "1"))) 66 (is (equalp (->sexp (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w)) '(x y u w)) 66 67 '(+ (* 1 (EXPT X 2)) (* -1 (EXPT Y 2)) (* -4/3 (EXPT U 2) (EXPT W 3)) (* -5))))) 67 68
Note:
See TracChangeset
for help on using the changeset viewer.