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 4179


Ignore:
Timestamp:
2016-06-03T11:18:29-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-criterion.lisp

    r4178 r4179  
    102102         (h (string->poly "x^2*y*z" '(x y z)))
    103103         (pair (make-instance 'critical-pair :first f :second g))
    104          (b-done (make-hash-table :test #'equal)))
     104         (b-done (make-hash-table :test #'equal))
     105         (partial-basis (list h)))
    105106    ;; Initialize the lookup table of done pairs
    106107    (setf (gethash (list h f) b-done) t
Note: See TracChangeset for help on using the changeset viewer.