Changeset 4056 for branches/f4grobner
- Timestamp:
- 2016-05-31T18:05:55-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4055 r4056 260 260 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 261 261 ;; 262 ;; The function GROBNER- CHECKis provided primarily for debugging purposes. To262 ;; The function GROBNER-TEST is provided primarily for debugging purposes. To 263 263 ;; enable verification of grobner bases with BUCHBERGER-CRITERION, do 264 264 ;; (pushnew :grobner-check *features*) and compile/load this file.
Note:
See TracChangeset
for help on using the changeset viewer.