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 4138


Ignore:
Timestamp:
2016-06-01T20:19:18-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r4135 r4138  
    5353
    5454(defclass selection-strategy ()
    55   ((pair-key-fn :initform #'(lambda (p q) (universal-lcm (leading-monomial p) (leading-monomial q)))
     55  ((pair-key-fn :initform (error "Initarg :pair-key-fn must be specified.")
    5656                :initarg :pair-key-fn
    5757                :accessor pair-key-fn)
    58    (pair-order-fn :initform #'lex>
     58   (pair-order-fn :initform (error "Initarg :pair-order-fn must be specified.")
    5959                  :initarg :pair-order-fn
    6060                  :accessor pair-order-fn))
Note: See TracChangeset for help on using the changeset viewer.