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 3933 for branches


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/pair-queue.lisp

    r3932 r3933  
    7676with the minimal LCM of leading monomials is selected."))
    7777
     78(defclass min-total-degree-strategy (selection-strategy)
     79  ((pair-key-fn :initform #'(lambda (p q) (total-degree (universal-lcm (leading-monomial p) (leading-monomial q)))))
     80   (pair-order* #'<))
     81  (:documentation "Make a selection strategy where a pair with a
     82minimum total degree of LCM of leading monomials is selected."))
     83
     84(defclass minimal-length-strategy (selection-strategy)
     85  ((pair-key-fn #'(lambda (p q) (+ (poly-length p) (poly-length q))))
     86   (pair-order #'<))
     87  (:documentation "Make a selection strategy where a pair with the minimum combined length of both
     88polynomials is selected."))
     89
     90
    7891
    7992(defclass critical-pair-queue ()
     
    111124
    112125
    113 (defun make-min-total-degree-strategy ()
    114   "Make a selection strategy where a pair with a minimum total degree of LCM
    115 of leading monomials is selected."
    116   (make-instance 'selection-strategy
    117                  :pair-key-fn #'(lambda (p q) (total-degree (universal-lcm (leading-monomial p) (leading-monomial q))))
    118                  :pair-order* #'<))
    119126
    120 (defun make-minimal-length-strategy ()
    121   "Make a selection strategy where a pair with the minimum combined length of both
    122 polynomials is selected."
    123   (make-instance 'selection-strategy
    124                  :pair-key-fn #'(lambda (p q) (+ (poly-length p) (poly-length q)))
    125                  :pair-order #'<))
    126 
Note: See TracChangeset for help on using the changeset viewer.