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 3955


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r3954 r3955  
    9999                :element-key #'(lambda (pair) (funcall pair-key-fn (critical-pair-first pair) (critical-pair-second pair)))
    100100                :test pair-order-fn))
     101    ;; Add critical pairs for polynomials in POLY-LIST
    101102    (let* ((s (1- (length poly-list)))
    102103           (b (nconc (makelist (make-instance 'critical-pair :first (elt poly-list i) :second (elt poly-list j))
Note: See TracChangeset for help on using the changeset viewer.