close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 3847 for branches


Ignore:
Timestamp:
2016-05-28T13:00:19-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-symbolic-poly.lisp

    r3777 r3847  
    6363  (is (equalp (with-input-from-string (s "X^2-Y^2+(-4/3)*U^2*W^3-5") (read-infix-form :stream s))
    6464              '(+ (- (EXPT X 2) (EXPT Y 2)) (* (- (/ 4 3)) (EXPT U 2) (EXPT W 3)) (- 5))))
    65   (is (equalp (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w))
    66               7)))
     65  (is (equalp (->infix (string->poly "X^2-Y^2+(-4/3)*U^2*W^3-5" '(x y u w)) '(x y z w))
     66              '(+ (* 1 (EXPT X 2)) (* -1 (EXPT Y 2)) (* 4/3 (EXPT Z 2) (EXPT W 3)) (* 1)))))
    6767
    6868(def-fixture sym-poly-context ()
Note: See TracChangeset for help on using the changeset viewer.