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 1316


Ignore:
Timestamp:
2015-06-11T21:35:43-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/gebauer-moeller.lisp

    r1315 r1316  
    5656   (when (plusp start) (debug-cgb "~&INCREMENTAL:~d done" start))
    5757  #+grobner-check  (when (plusp start)
    58                      (grobner-test ring (subseq f 0 start) (subseq f 0 start)))
     58                     (grobner-test ring-and-order (subseq f 0 start) (subseq f 0 start)))
    5959  (let ((b (make-pair-queue))
    6060        (g (subseq f 0 start))
    … …  
    6767             (g1 (pair-first pair))
    6868             (g2 (pair-second pair))
    69              (h (normal-form ring (spoly ring g1 g2)
     69             (h (normal-form ring-and-order (spoly ring g1 g2)
    7070                             g
    7171                             nil #| Always fully reduce! |#
    … …  
    7878                     (pair-sugar pair) (length g) (pair-queue-size b))
    7979          )))
    80     #+grobner-check(grobner-test ring g f)
     80    #+grobner-check(grobner-test ring-and-order g f)
    8181    (debug-cgb "~&GROBNER END")
    8282    g))
Note: See TracChangeset for help on using the changeset viewer.