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 366


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/README

    r365 r366  
    101101by performing Buchberger criterion, after the basis is computed.
    102102This is an "oracle" testing, given that the portion of the code
    103 required for verification of Groebner bases is correct. A significan
     103required for verification of Groebner bases is correct. A significant
    104104test involves loading the demonstration code, like:
    105105----------------------------------------------------------------
    … …  
    107107----------------------------------------------------------------
    108108The failure will result in a spectacular error message.
     109NOTE: For this to work (push :grobner-check *features*)
     110needed to be executed before loading/compiling Lisp code.
    109111
    110112== ADDITIONAL COMMENTS ==
Note: See TracChangeset for help on using the changeset viewer.