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 3935


Ignore:
Timestamp:
2016-05-29T23:34:10-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3934 r3935  
    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 :initform #'<))
    8181  (:documentation "Make a selection strategy where a pair with a
    8282minimum total degree of LCM of leading monomials is selected."))
    8383
    8484(defclass minimal-length-strategy (selection-strategy)
    85   ((pair-key-fn #'(lambda (p q) (+ (poly-length p) (poly-length q))))
    86    (pair-order #'<))
     85  ((pair-key-fn :initform #'(lambda (p q) (+ (poly-length p) (poly-length q))))
     86   (pair-order :initform #'<))
    8787  (:documentation "Make a selection strategy where a pair with the minimum combined length of both
    8888polynomials is selected."))
Note: See TracChangeset for help on using the changeset viewer.