- Timestamp:
- 2015-06-06T12:46:33-07:00 (10 years ago)
- Location:
- branches/f4grobner
- Files:
-
- 1 deleted
- 1 moved
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r353 r355 22 22 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 23 23 ;; 24 ;; Run NGROBNER packagetests using 5am unit testing framework24 ;; Run tests using 5am unit testing framework 25 25 ;; 26 26 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; … … 80 80 (test order 81 81 "order" 82 ( is-true (ngrobner:lex> (make-monom 3 :initial-contents '(1 3 2))83 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 90 90 91 91
Note:
See TracChangeset
for help on using the changeset viewer.