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


Ignore:
Timestamp:
2016-05-29T22:36:06-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r3923 r3924  
    6363                              &aux
    6464                              (s (1- (length f)))
    65                               (b (nconc (makelist (make-pair (elt f i) (elt f j))
     65                              (b (nconc (makelist (make-instance 'critical-pair :first (elt f i) :second (elt f j))
    6666                                                 (i 0 (1- start)) (j start s))
    67                                         (makelist (make-pair (elt f i) (elt f j))
     67                                        (makelist (make-instance 'critical-pair :first (elt f i) :second (elt f j))
    6868                                                 (i start (1- s)) (j (1+ i) s)))))
    6969  "Initializes the priority for critical pairs. F is the initial list of polynomials.
     
    8787
    8888(defclass selection-strategy ()
     89  ((pair-key-fn   :initform nil :initarg :pair-key-fn :accessor pair-key-fn)
     90   (pair-order-fn :initform nil :initarg :pair-order-fn :accessor pair-order-fn))
    8991  (:documentation "Sets up variables *PAIR-KEY-FUNCTION* and *PAIR-ORDER* used
    90 to determine the priority of critical pairs in the priority queue.")
    91   ((pair-key-fn :initform nil :accessor pair-key-fn)
    92    (pair-order-fn :initform nil :accessor monomial-order-fn)))
     92to determine the priority of critical pairs in the priority queue."))
    9393
    9494(defun make-normal-strategy (monomial-order-fn)
     
    9797  (make-instance 'selection-strategy
    9898                 :pair-key-fn #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q)))
    99                  :pair-order-fn #'monomial-order-fn))
     99                 :pair-order-fn monomial-order-fn))
    100100
    101101(defun make-min-total-degree-strategy ()
Note: See TracChangeset for help on using the changeset viewer.