- Timestamp:
- 2015-06-15T21:41:27-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pol.lisp
r1973 r1974 84 84 (proclaim '(optimize (speed 0) (space 0) (safety 3) (debug 3))) 85 85 86 (defstruct (poly 87 ;; 88 ;; BOA constructor, by default constructs zero polynomial 89 (:constructor make-poly-from-termlist (termlist &optional (sugar (termlist-sugar termlist)))) 90 (:constructor make-poly-zero (&aux (termlist nil) (sugar -1))) 91 ;; Constructor of polynomials representing a variable 92 (:constructor make-poly-variable (ring nvars pos &optional (power 1) 93 &aux 94 (termlist (list 95 (make-term-variable ring nvars pos power))) 96 (sugar power))) 97 (:constructor poly-unit (ring dimension 98 &aux 99 (termlist (termlist-unit ring dimension)) 100 (sugar 0)))) 101 (termlist nil :type list) 102 (sugar -1 :type fixnum)) 86 (defclass (poly) 87 ((termlist) 88 (sugar))) 89 90 (defun make-poly-from-termlist (termlist &optional (sugar (termlist-sugar termlist)))) 91 (defun make-poly-zero (&aux (termlist nil) (sugar -1))) 92 (defun make-poly-variable (ring nvars pos &optional (power 1) 93 &aux 94 (termlist (list 95 (make-term-variable ring nvars pos power))) 96 (sugar power))) 97 98 (defun poly-unit (ring dimension 99 &aux 100 (termlist (termlist-unit ring dimension)) 101 (sugar 0))) 102 103 103 104 104 105 ;; Leading term
Note:
See TracChangeset
for help on using the changeset viewer.