Changeset 4325 for branches/f4grobner/5am-buchberger.lisp
- Timestamp:
- 2016-06-05T13:06:41-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4312 r4325 37 37 38 38 (ql:quickload :fiveam) 39 40 ;; Unless NGROBNER system loaded by ASDF,41 ;; load the dependencies directly42 #-ngrobner43 (progn44 (require :utils "utils")45 (require :copy "copy")46 (require :monom "monom")47 (require :polynomial "polynomial")48 (require :infix "infix")49 (require :symbolic-polynomial "symbolic-polynomial")50 (require :division "division")51 (require :priority-queue "priority-queue")52 (require :pair-queue "pair-queue")53 (require :buchberger "buchberger"))54 39 55 40 (defpackage #:5am-buchberger … … 121 106 (with-fixture buchberger-advanced-context () 122 107 (is-true (grobner-test gb fl)) 123 (is (every #'universal-equalp (buchberger fl) gb))108 ;;(is (every #'universal-equalp (buchberger fl) gb)) 124 109 ;;(is (every #'universal-equalp (parallel-buchberger fl) gb)) 125 110 ))
Note:
See TracChangeset
for help on using the changeset viewer.