Changeset 1657
- Timestamp:
- 2015-06-14T20:35:51-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1606 r1657 30 30 "MAKE-POLY-FROM-TERMLIST" 31 31 "MAKE-POLY-ZERO" 32 "MAKE- VARIABLE"32 "MAKE-POLY-VARIABLE" 33 33 "POLY-UNIT" 34 34 "POLY-LM" … … 89 89 (:constructor make-poly-zero (&aux (termlist nil) (sugar -1))) 90 90 ;; Constructor of polynomials representing a variable 91 (:constructor make- variable (ring nvars pos &optional (power 1)91 (:constructor make-poly-variable (ring nvars pos &optional (power 1) 92 92 &aux 93 93 (termlist (list … … 305 305 ((member expr vars :test #'equalp) 306 306 (let ((pos (position expr vars :test #'equalp))) 307 (make- variable ring (length vars) pos)))307 (make-poly-variable ring (length vars) pos))) 308 308 ((atom expr) 309 309 (coerce-coeff ring expr vars)) … … 340 340 ;;Special handling of (expt var pow) 341 341 (let ((pos (position (cadr expr) vars :test #'equalp))) 342 (make- variable ring (length vars) pos (caddr expr))))342 (make-poly-variable ring (length vars) pos (caddr expr)))) 343 343 ((not (and (integerp (caddr expr)) (plusp (caddr expr)))) 344 344 ;; Negative power means division in coefficient ring
Note:
See TracChangeset
for help on using the changeset viewer.