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.

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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/README

    r362 r363  
    8989
    9090NOTE: The coverage is still minimal. The number of tests
    91 will increase over time.
     91will increase over time. The alternative mechanism is enabled
     92by doing this *BEFORE* loading/compiling NGROBNER:
     93----------------------------------------------------------------
     94* (push :grobner-check *features*)
     95----------------------------------------------------------------
     96This will enable verification of every Grobner basis computed,
     97by performing Buchberger criterion, after the basis is computed.
     98This is an "oracle" testing, given that the portion of the code
     99required for verification of Groebner bases is correct.
    92100
    93101== ADDITIONAL COMMENTS ==
Note: See TracChangeset for help on using the changeset viewer.