Changeset 2802 for branches/f4grobner
- Timestamp:
- 2015-06-20T21:45:34-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r2801 r2802 217 217 ;; If p= p0+p1 and q=q0+q1 then p*q=p0*q0+p0*q1+p1*q 218 218 ((endp (cdr p)) 219 (multiply-term-by-termlist (car p) q)219 (multiply-term-by-termlist-dropping-zeros (car p) q) 220 220 ((endp (cdr q)) 221 (multiply-term list-by-term p (car q))222 (t223 (let ((head (multiply-terms (car p) (car q)))224 (tail (add-termlists225 (multiply-term-by-termlist-dropping-zeros (car p) (cdr q))226 (multiply-termlists (cdr p) q)227 order-fn)))228 (nconc head tail))))))) 221 (multiply-term-by-termlist-dropping-zeros (car q) p t) 222 (t 223 (nconc (multiply-terms (car p) (car q)) 224 (tail (add-termlists 225 (multiply-term-by-termlist-dropping-zeros (car p) (cdr q)) 226 (multiply-termlists (cdr p) q) 227 order-fn)))))))) 228 229 229 230 230 #|
Note:
See TracChangeset
for help on using the changeset viewer.