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 3959


Ignore:
Timestamp:
2016-05-30T10:48:33-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3958 r3959  
    5353
    5454(defclass selection-strategy ()
    55   ((pair-key-fn :initform #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q))) :initarg :pair-key-fn :accessor pair-key-fn)
    56    (pair-order-fn :initform #'lex> :initarg :pair-order-fn :accessor pair-order-fn))
     55  ((pair-key-fn :initform #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q)))
     56                :initarg :pair-key-fn
     57                :accessor pair-key-fn)
     58   (pair-order-fn :initform #'lex>
     59                  :initarg :pair-order-fn
     60                  :accessor pair-order-fn))
    5761  (:documentation "Represents the normal critical pair selection
    5862strategy.  The two ingredients of a strategy is a function
Note: See TracChangeset for help on using the changeset viewer.