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 1409


Ignore:
Timestamp:
2015-06-11T23:53:17-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/buchberger.lisp

    r1408 r1409  
    6363    (do ()
    6464        ((pair-queue-empty-p b)
    65          #+grobner-check(grobner-test ring f f)
     65         #+grobner-check(grobner-test ring-and-order f f)
    6666         (debug-cgb "~&GROBNER END")
    6767         f)
    … …  
    110110  (when (plusp start) (debug-cgb "~&INCREMENTAL:~d done" start))
    111111  #+grobner-check  (when (plusp start)
    112                      (grobner-test ring (subseq f 0 start) (subseq f 0 start)))
     112                     (grobner-test ring-and-order (subseq f 0 start) (subseq f 0 start)))
    113113  ;;Initialize critical pairs
    114114  (let ((b (pair-queue-initialize (make-pair-queue) f start))
Note: See TracChangeset for help on using the changeset viewer.