Changeset 4470 for branches/f4grobner
- Timestamp:
- 2016-06-14T20:25:20-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4469 r4470 103 103 (with-fixture buchberger-advanced-context () 104 104 (is-true (grobner-test gb fl)) 105 ;; NOTE: Cannot compare using SET-EXCLUSIVE-OR, as the Grobner basis 106 ;; FL was computed using "sugar" strategy and is different from 107 ;; the one obtained with BUCHBERGER, which uses the "normal" strategy. 105 108 (is (grobner-equal (buchberger fl) gb)) 106 109 ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))
Note:
See TracChangeset
for help on using the changeset viewer.