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-06T12:33:00-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/utils-tests.lisp

    r347 r352  
    8080(test order
    8181  "order"
     82  (is-true (ngrobner:lex> (make-monom 3 :initial-contents '(1 3 2))
     83                           (make-monom 3 :initial-contents '(1 2 3))))
     84  (is-true (ngrobner:grlex> (make-monom 3 :initial-contents '(1 3 2))
     85                             (make-monom 3 :initial-contents '(1 2 3))))
     86  (is-true (ngrobner:revlex> (make-monom 3 :initial-contents '(1 3 2))
     87                              (make-monom 3 :initial-contents '(1 2 3))))
     88  (is-true (ngrobner:grevlex> (make-monom 3 :initial-contents '(1 3 2))
     89                               (make-monom 3 :initial-contents '(1 2 3)))))
    8290 
    8391
Note: See TracChangeset for help on using the changeset viewer.