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.

Ignore:
Timestamp:
2015-06-21T10:22:59-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-monom.lisp

    r2844 r2846  
    146146
    147147
     148(def-fixture monom/term-conversion-context ()
     149  (symbol-macrolet
     150      ((term (make-instance 'term :exponents '(1 2 3) :coeff 4))
     151       (monom (make-instance 'term :exponents '(1 2 3)))
     152       (promoted-monom  (make-instance 'term :exponents '(1 2 3) :coeff 1)))))
     153
    148154(test monom/term-conversion
    149155  "Monom/term conversion"
    150   (symbol-macrolet
    151       ((term (make-instance 'term :exponents '(1 2 3) :coeff 4))
    152        (monom (make-instance 'term :exponents '(1 2 3)))
    153        (promoted-monom  (make-instance 'term :exponents '(1 2 3) :coeff 1)))
     156  (with-fixture monom/term-conversion-context ()
    154157    (is (monom-equalp (change-class term 'monom) monom)
    155158    (is (term-equalp (change-class monom 'term) promoted-monom)))))
Note: See TracChangeset for help on using the changeset viewer.