Changeset 980
- Timestamp:
- 2015-06-09T20:43:31-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r979 r980 125 125 (defun monom-times-poly (m p) 126 126 (declare (type ring ring)) 127 (make-poly-from-termlist (monom-times-termlist m (poly-termlist p)) (+ (poly-sugar p) (monom-sugar m)))) 127 (make-poly-from-termlist 128 (monom-times-termlist m (poly-termlist p)) 129 (+ (poly-sugar p) (monom-sugar m)))) 128 130 129 131 (defun term-times-poly (ring term p) 130 (declare (type ring ring) )132 (declare (type ring ring) (type poly p)) 131 133 (make-poly-from-termlist 132 134 (term-times-termlist ring term (poly-termlist p)) … … 134 136 135 137 (defun poly-add (ring-and-order p q) 136 (declare (type ring-and-order ring-and-order) )138 (declare (type ring-and-order ring-and-order) (type poly p q)) 137 139 (make-poly-from-termlist 138 140 (termlist-add ring-and-order … … 141 143 (max (poly-sugar p) (poly-sugar q)))) 142 144 143 (defun poly-sub (ring p q) 144 (make-poly-from-termlist (termlist-sub ring (poly-termlist p) (poly-termlist q)) (max (poly-sugar p) (poly-sugar q)))) 145 (defun poly-sub (ring-and-order p q) 146 (declare (type ring-and-order ring-and-order) (type poly p q)) 147 (make-poly-from-termlist 148 (termlist-sub ring (poly-termlist p) (poly-termlist q)) 149 (max (poly-sugar p) (poly-sugar q)))) 145 150 146 151 (defun poly-uminus (ring p)
Note:
See TracChangeset
for help on using the changeset viewer.