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.

Ignore:
Timestamp:
2015-06-12T15:37:57-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/gb-postprocessing.lisp

    r1546 r1547  
    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
    52           q1 (remove x q))
     51    (setf found nil)
    5352    (dolist (x q)
     53      (setf q1 (remove x q))
    5454      (multiple-value-bind (h c div-count)
    5555          (normal-form ring-and-order x q1 nil #| not a top reduction! |#)
Note: See TracChangeset for help on using the changeset viewer.