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 4178


Ignore:
Timestamp:
2016-06-03T11:17:49-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-criterion.lisp

    r4177 r4178  
    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)) ;TODO: make meaningful B-DONE table
    105          (partial-basis (list h)))
    106     (setf (gethash (list f h) b-done) t
    107           (gethash (list h f) b-done) t
    108           (gethash (list h g) b-done) t
    109           (gethash (list g h) b-done) t)
    110     (maphash #'(lambda (key value)
    111                  (declare (ignore value))
    112                  (print (mapcar #'->sexp key)))
    113              b-done)
     104         (b-done (make-hash-table :test #'equal)))
     105    ;; Initialize the lookup table of done pairs
     106    (setf (gethash (list h f) b-done) t
     107          (gethash (list h g) b-done) t)
    114108    (&body)))
    115109
Note: See TracChangeset for help on using the changeset viewer.