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 353


Ignore:
Timestamp:
2015-06-06T12:34: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

    r352 r353  
    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))
     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))
    8989                               (make-monom 3 :initial-contents '(1 2 3)))))
    9090 
Note: See TracChangeset for help on using the changeset viewer.