Changeset 366
- Timestamp:
- 2015-06-06T13:41:34-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/README
r365 r366 101 101 by performing Buchberger criterion, after the basis is computed. 102 102 This is an "oracle" testing, given that the portion of the code 103 required for verification of Groebner bases is correct. A significan 103 required for verification of Groebner bases is correct. A significant 104 104 test involves loading the demonstration code, like: 105 105 ---------------------------------------------------------------- … … 107 107 ---------------------------------------------------------------- 108 108 The failure will result in a spectacular error message. 109 NOTE: For this to work (push :grobner-check *features*) 110 needed to be executed before loading/compiling Lisp code. 109 111 110 112 == ADDITIONAL COMMENTS ==
Note:
See TracChangeset
for help on using the changeset viewer.