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 2453


Ignore:
Timestamp:
2015-06-19T10:28:01-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-monom.lisp

    r2452 r2453  
    133133
    134134(def-fixture order-context ()
    135   (let ((p (make-monom :initial-exponents '(1 3 2)))
    136         (q (make-monom :initial-exponents '(1 2 3))))
     135  (let ((p (make-instance 'monom :exponents '(1 3 2)))
     136        (q (make-instance 'monom :exponents '(1 2 3))))
    137137    (&body)))
    138138
    … …  
    147147
    148148(def-fixture elim-order-context ()
    149   (let* ((p (make-monom :initial-exponents '(1 2 3)))
    150          (q (make-monom :initial-exponents '(4 5 6)))
     149  (let* ((p (make-instance 'monom :exponents '(1 2 3)))
     150         (q (make-instance 'monom :exponents '(4 5 6)))
    151151         (elim-order-factory (make-elimination-order-factory))
    152152         (elim-order-1 (funcall elim-order-factory 1))
Note: See TracChangeset for help on using the changeset viewer.