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 1588 for branches/f4grobner


Ignore:
Timestamp:
2015-06-12T16:25:27-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/ideal.lisp

    r1528 r1588  
    211211                           (top-reduction-only $poly_top_reduction_only)
    212212                         &aux
    213                            (k (length g)))
     213                           (k (length g))
     214                           (ring (ro-ring ring-and-order)))
    214215  "Returns the reduced Grobner basis of the saturation of the ideal
    215216generated by a polynomial list F in the ideal generated a polynomial
     
    224225   (ring-intersection
    225226    (reduced-grobner ring-and-order
    226                      (polysaturation-extension ring-and-order f g)
     227                     (polysaturation-extension ring f g)
    227228                     start
    228229                     top-reduction-only)
Note: See TracChangeset for help on using the changeset viewer.