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


Ignore:
Timestamp:
2016-06-03T19:42:30-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/buchberger.lisp

    r4192 r4194  
    4848                    (grobner-test (subseq f 0 start) (subseq f 0 start)))
    4949  ;;Initialize critical pairs
    50   (let ((b (make-instance 'critical-pair-queue *normal-strategy* f start))
     50  (let ((b (make-critical-pair-queue *normal-strategy* f start))
    5151        (b-done (make-hash-table :test #'equal)))
    5252    (declare (type critical-pair-queue b) (type hash-table b-done))
     
    7878                ;; Add new critical pairs
    7979                (dolist (h f)
    80                   (enqueue b (make-instance 'critical-pair h sp)))
     80                  (enqueue b (make-instance 'critical-pair :first h :second sp)))
    8181                (debug-cgb "~&Polynomials: ~d; Pairs left: ~d; Pairs done: ~d;"
    8282                           (length f) (queue-size b)
     
    102102                     (grobner-test (subseq f 0 start) (subseq f 0 start)))
    103103  ;;Initialize critical pairs
    104   (let ((b (make-instance 'critical-pair-queue *normal-strategy* f start))
     104  (let ((b (make-critical-pair-queue *normal-strategy* f start))
    105105        (b-done (make-hash-table :test #'equal))
    106106        (coeff-zero (make-zero-for (leading-coefficient (car f))))
     
    146146                   ;; Add new critical pairs
    147147                   (dolist (h f)
    148                      (enqueue b (make-instance 'critical-pair h sp)))
     148                     (enqueue b (make-instance 'critical-pair :first h :second sp)))
    149149                   (debug-cgb "~&Polynomials: ~d; Pairs left: ~d; Pairs done: ~d;"
    150150                              (length f) (queue-size b)
Note: See TracChangeset for help on using the changeset viewer.