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


Ignore:
Timestamp:
2016-05-30T00:25:21-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r3943 r3944  
    5454
    5555(defclass selection-strategy ()
    56   ((pair-key-fn :initform #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q))))
    57    (pair-order-fn :initform #'lex>))
     56  ((pair-key-fn :initform #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q))) :initarg :pair-key-fn :accessor pair-key-fn)
     57   (pair-order-fn :initform #'lex> :initarg :pair-order-fn :accessor pair-order-fn))
    5858  (:documentation "Represents the normal critical pair selection
    5959strategy.  The two ingredients of a strategy is a function
     
    9898                :test pair-order-fn))))
    9999
     100(defmethod print-object ((self critical-pair-queue) stream)
     101  (print-unreadable-object (self stream :type t :identity t)
     102    (with-accessors ((pair-key-fn pair-key-fn)
     103                     (pair-order-fn pair-order-fn)
     104                     (pq pq))
     105        self
     106      (format stream "PAIR-KEY-FN=~A PAIR-ORDER-FN=~A PQ=~A"
     107              pair-key-fn pair-order-fn pq))))
     108
     109
    100110(defun pair-queue-initialize (pq f start
    101111                              &aux
Note: See TracChangeset for help on using the changeset viewer.