- Timestamp:
- 2015-06-15T18:03:54-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1907 r1908 275 275 "Calculate [F, U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]. It destructively modifies F." 276 276 ;; Add -1 as the last term 277 (declare (type ring ring)) 277 278 (setf (cdr (last (poly-termlist plist))) 278 279 (list (make-term :monom (make-monom :dimension d) … … 282 283 (defun saturation-extension-1 (ring f p) 283 284 "Calculate [F, U*P-1]. It destructively modifies F." 285 (declare (type ring ring)) 284 286 (polysaturation-extension ring f (list p))) 285 287 … … 293 295 "Coerce an element of the coefficient ring to a constant polynomial." 294 296 ;; Modular arithmetic handler by rat 297 (declare (type ring ring)) 295 298 (make-poly-from-termlist (list (make-term :monom (make-monom :dimension (length vars)) 296 299 :coeff (funcall (ring-parse ring) expr)))
Note:
See TracChangeset
for help on using the changeset viewer.