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 4184


Ignore:
Timestamp:
2016-06-03T18:19:39-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r4183 r4184  
    7676              pair-key-fn pair-order-fn))))
    7777
    78 (defparameter +normal-strategy+
     78(defconstant +normal-strategy+
    7979  (make-instance
    8080   'selection-strategy
    … …  
    8484leading monomials is selected.")
    8585
    86 (defparameter +min-total-degree-strategy+
     86(defconstant +min-total-degree-strategy+
    8787  (make-instance
    8888   'selection-strategy
    … …  
    9292  LCM of leading monomials is selected.")
    9393
    94 (defparameter +min-combined-length-strategy+
     94(defconstant +min-combined-length-strategy+
    9595  (make-instance
    9696   'selection-strategy
Note: See TracChangeset for help on using the changeset viewer.