Changeset 902
- Timestamp:
- 2015-06-09T13:44:19-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r822 r902 66 66 plist)))) 67 67 68 (defun elimination-ideal (ring flist k 69 &optional (top-reduction-only $poly_top_reduction_only) (start 0) 70 &aux (*monomial-order* 71 (or *elimination-order* 72 (elimination-order k)))) 73 (ring-intersection (reduced-grobner ring flist start top-reduction-only) k)) 68 (defun elimination-ideal (ring-and-order flist k &optional (top-reduction-only $poly_top_reduction_only) (start 0)) 69 (ring-intersection (reduced-grobner ring-and-order flist start top-reduction-only) k)) 74 70 75 71 (defun colon-ideal (ring f g &optional (top-reduction-only $poly_top_reduction_only)) … … 101 97 102 98 103 (defun ideal-intersection (ring f g &optional (top-reduction-only $poly_top_reduction_only) 104 &aux (*monomial-order* (or *elimination-order* 105 #'elimination-order-1))) 99 (defun ideal-intersection (ring-and-order f g &optional (top-reduction-only $poly_top_reduction_only)) 106 100 (mapcar #'poly-contract 107 101 (ring-intersection 108 102 (reduced-grobner 109 ring 103 ring-and-order 110 104 (append (mapcar #'(lambda (p) (poly-extend p (make-monom 1 :initial-exponent 1))) f) 111 105 (mapcar #'(lambda (p) 112 (poly-append (poly-extend (poly-uminus ring p)106 (poly-append (poly-extend (poly-uminus ring-and-order p) 113 107 (make-monom 1 :initial-exponent 1)) 114 108 (poly-extend p))) … … 157 151 158 152 ;; Calculate F : p^inf 159 (defun ideal-saturation-1 (ring f p start &optional (top-reduction-only $poly_top_reduction_only) 160 &aux (*monomial-order* (or *elimination-order* 161 #'elimination-order-1))) 153 (defun ideal-saturation-1 (ring-and-order f p start &optional (top-reduction-only $poly_top_reduction_only)) 162 154 "Returns the reduced Grobner basis of the saturation of the ideal 163 155 generated by a polynomial list F in the ideal generated by a single … … 171 163 (ring-intersection 172 164 (reduced-grobner 173 ring 174 (saturation-extension-1 ring f p)165 ring-and-order 166 (saturation-extension-1 ring-and-order f p) 175 167 start top-reduction-only) 176 168 1)))
Note:
See TracChangeset
for help on using the changeset viewer.