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-11T23:06:15-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/ideal.lisp

    r1382 r1383  
    9696                         top-reduction-only))))
    9797
    98 (defun colon-ideal-1 (ring f g &optional (top-reduction-only $poly_top_reduction_only))
     98(defun colon-ideal-1 (ring-and-order f g
     99                      &optional
     100                        (top-reduction-only $poly_top_reduction_only)
     101                      &aux
     102                        (ring (ro-ring ring-and-order)))
    99103  "Returns the reduced Grobner basis of the colon ideal Id(F):Id({G}), where
    100104F is a list of polynomials and G is a polynomial."
Note: See TracChangeset for help on using the changeset viewer.