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 3934


Ignore:
Timestamp:
2016-05-29T23:33:40-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3933 r3934  
    7878(defclass min-total-degree-strategy (selection-strategy)
    7979  ((pair-key-fn :initform #'(lambda (p q) (total-degree (universal-lcm (leading-monomial p) (leading-monomial q)))))
    80    (pair-order* #'<))
     80   (pair-order #'<))
    8181  (:documentation "Make a selection strategy where a pair with a
    8282minimum total degree of LCM of leading monomials is selected."))
Note: See TracChangeset for help on using the changeset viewer.