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 1545


Ignore:
Timestamp:
2015-06-12T15:36:36-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/gb-postprocessing.lisp

    r1544 r1545  
    4949    ;; 2) Replace p with remainder from division by Q\{p}, if
    5050    ;;    non-zero, else set Q to Q\{p}
    51     (setf found nil)
     51    (setf found nil
     52          (q1 (remove x q)))
    5253    (dolist (x q)
    5354      (multiple-value-bind (h c div-count)
    54           (normal-form ring-and-order x (remove x q) nil #| not a top reduction! |#)
     55          (normal-form ring-and-order x q1 nil #| not a top reduction! |#)
    5556        (declare (ignore c))
    5657        (when (plusp div-count)
Note: See TracChangeset for help on using the changeset viewer.