close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 364 for branches/f4grobner


Ignore:
Timestamp:
2015-06-06T13:38:06-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/README

    r363 r364  
    9797by performing Buchberger criterion, after the basis is computed.
    9898This is an "oracle" testing, given that the portion of the code
    99 required for verification of Groebner bases is correct.
     99required for verification of Groebner bases is correct. A significan
     100test involves loading the demonstration code, like:
     101----------------------------------------------------------------
     102(%i1) batch("grobner.demo");
     103----------------------------------------------------------------
     104The failure will result in a spectacular error message.
    100105
    101106== ADDITIONAL COMMENTS ==
Note: See TracChangeset for help on using the changeset viewer.