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 355


Ignore:
Timestamp:
2015-06-06T12:46:33-07:00 (9 years ago)
Author:
Marek Rychlik
Message:
 
Location:
branches/f4grobner
Files:
1 deleted
1 moved

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r353 r355  
    2222;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    2323;;
    24 ;; Run NGROBNER package tests using 5am unit testing framework
     24;; Run tests using 5am unit testing framework
    2525;;
    2626;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    … …  
    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)))))
     82  (let ((p (make-monom 3 :initial-contents '(1 3 2)))
     83        (q (make-monom 3 :initial-contents '(1 2 3))))
     84    (is-true (ngrobner:lex>  p q))
     85    (is-true (ngrobner:grlex>  p q))
     86    (is-true (ngrobner:revlex>  p q))
     87    (is-true (ngrobner:grevlex>  p q))
     88    (is-false (ngrobner:invlex>  p q))))
     89
    9090 
    9191
Note: See TracChangeset for help on using the changeset viewer.