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 903


Ignore:
Timestamp:
2015-06-09T13:45:28-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/ideal.lisp

    r902 r903  
    181181        (ideal-polysaturation-1 ring g (rest plist) (length g) top-reduction-only)))))
    182182
    183 (defun ideal-saturation (ring f g start &optional (top-reduction-only $poly_top_reduction_only)
     183(defun ideal-saturation (ring-and-order f g start &optional (top-reduction-only $poly_top_reduction_only)
    184184                         &aux
    185                          (k (length g))
    186                          (*monomial-order* (or *elimination-order*
    187                                                (elimination-order k))))
     185                         (k (length g)))
    188186  "Returns the reduced Grobner basis of the saturation of the ideal
    189187generated by a polynomial list F in the ideal generated a polynomial
     
    197195   #'(lambda (q) (poly-contract q k))
    198196   (ring-intersection
    199     (reduced-grobner ring
    200                      (polysaturation-extension ring f g)
     197    (reduced-grobner ring-and-order
     198                     (polysaturation-extension ring-and-order f g)
    201199                     start
    202200                     top-reduction-only)
    203201    k)))
    204202
    205 (defun ideal-polysaturation (ring f ideal-list start &optional (top-reduction-only $poly_top_reduction_only))
     203(defun ideal-polysaturation (ring-and-order f ideal-list start &optional (top-reduction-only $poly_top_reduction_only))
    206204    "Returns the reduced Grobner basis of the ideal obtained by a
    207205successive applications of IDEAL-SATURATION to F and lists of
     
    209207  (cond
    210208   ((endp ideal-list) f)
    211    (t (let ((h (ideal-saturation ring f (car ideal-list) start top-reduction-only)))
    212         (ideal-polysaturation ring h (rest ideal-list) (length h) top-reduction-only)))))
     209   (t (let ((h (ideal-saturation ring-and-order f (car ideal-list) start top-reduction-only)))
     210        (ideal-polysaturation ring-and-order h (rest ideal-list) (length h) top-reduction-only)))))
Note: See TracChangeset for help on using the changeset viewer.