Changeset 4439
- Timestamp:
- 2016-06-10T15:21:35-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4387 r4439 102 102 (&body))) 103 103 104 #+nil105 (test buchberger-advanced-preliminary106 (with-fixture buchberger-advanced-context ()107 (print (poly->string (elt gb 0)))108 (print (poly->string (elt gb 6)))))109 110 111 #+nil112 (test buchberger-advanced-partial113 (with-fixture buchberger-advanced-context ()114 (loop115 for i from 0 below (length gb)116 do117 (loop118 for j from (1+ i) below (length gb)119 do120 (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb))))121 "Failed with I=~S, J=~S~%" I J)))))122 123 #-nil124 (test buchberger-advanced125 "Buchberger algorithm - advanced case"126 (with-fixture buchberger-advanced-context ()127 ;;(is-true (grobner-test gb fl))128 (is (every #'universal-equalp (buchberger fl) gb))129 ;;(is (every #'universal-equalp (parallel-buchberger fl) gb))130 ))131 104 132 105
Note:
See TracChangeset
for help on using the changeset viewer.