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 3925


Ignore:
Timestamp:
2016-05-29T22:37:14-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3924 r3925  
    9393
    9494(defun make-normal-strategy (monomial-order-fn)
    95   "Make a normal selection strategy for a given monomial order. A pair
     95  "Make a normal selection strategy for a given monomial order MONOMIAL-ORDER-FN. A pair
    9696with the minimal LCM of leading monomials is selected."
    9797  (make-instance 'selection-strategy
Note: See TracChangeset for help on using the changeset viewer.