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 4466


Ignore:
Timestamp:
2016-06-14T19:53:30-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r4312 r4466  
    7979              pair-key-fn pair-order-fn))))
    8080
    81 (defparameter *normal-strategy*
     81(defparameter *max-lcm-strategy*
    8282  (make-instance
    8383   'selection-strategy
    8484   :pair-key-fn #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q)))
    8585   :pair-order-fn #'lex>)
    86   "The normal selection strategy where a pair with the largest LCM of
     86  "The selection strategy where a pair with the largest LCM of
    8787leading monomials is selected.")
    8888
    89 (defparameter *min-total-degree-strategy*
     89(defparameter *normal-strategy*
    9090  (make-instance
    9191   'selection-strategy
    … …  
    9393   :pair-order-fn #'<)
    9494  "A selection strategy where a pair with a minimum total degree of
    95   LCM of leading monomials is selected.")
     95  LCM of leading monomials is selected. This is known as the normal strategy.")
    9696
    9797(defparameter *min-combined-length-strategy*
Note: See TracChangeset for help on using the changeset viewer.