Changeset 364
- Timestamp:
- 2015-06-06T13:38:06-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/README
r363 r364 97 97 by performing Buchberger criterion, after the basis is computed. 98 98 This is an "oracle" testing, given that the portion of the code 99 required for verification of Groebner bases is correct. 99 required for verification of Groebner bases is correct. A significan 100 test involves loading the demonstration code, like: 101 ---------------------------------------------------------------- 102 (%i1) batch("grobner.demo"); 103 ---------------------------------------------------------------- 104 The failure will result in a spectacular error message. 100 105 101 106 == ADDITIONAL COMMENTS ==
Note:
See TracChangeset
for help on using the changeset viewer.