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 4474


Ignore:
Timestamp:
2016-06-14T20:56:40-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/buchberger.lisp

    r4473 r4474  
    2727        )
    2828  (:export "BUCHBERGER"
    29            "PARALLEL-BUCHBERGER"
     29           ;;"PARALLEL-BUCHBERGER"
    3030           "GROBNER-MEMBER"
    3131           "GROBNER-SUBSETP"
Note: See TracChangeset for help on using the changeset viewer.