Changeset 4042 for branches/f4grobner
- Timestamp:
- 2016-05-31T16:50:44-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-symbolic-poly.lisp
r4029 r4042 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 (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))67 '(+ ( * 1 (EXPT X 2)) (* -1 (EXPT Y 2)) (* -4/3 (EXPT U 2) (EXPT W 3)) (* -5)))))65 (is (equalp (poly->string (string->poly "1" '(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))) 67 '(+ (EXPT X 2) (* -1 EXPT Y 2) (* -4/3 (EXPT U 2) (EXPT W 3)) -5)))) 68 68 69 69
Note:
See TracChangeset
for help on using the changeset viewer.