Changeset 4211 for branches/f4grobner
- Timestamp:
- 2016-06-04T12:58:23-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4210 r4211 230 230 (defun grobner-test (g f) 231 231 "Test whether G is a Grobner basis and F is contained in G. Return T 232 upon success and NIL otherwise. 233 The function GROBNER-TEST is provided primarily for debugging purposes. To 234 enable verification of grobnerbases with BUCHBERGER-CRITERION, do232 upon success and NIL otherwise. The function GROBNER-TEST is provided 233 primarily for debugging purposes. To enable verification of grobner 234 bases with BUCHBERGER-CRITERION, do 235 235 (pushnew :grobner-check *features*) and compile/load this file. With 236 236 this feature, the calculations will slow down CONSIDERABLY."
Note:
See TracChangeset
for help on using the changeset viewer.