- Timestamp:
- 2015-06-21T12:46:31-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r2917 r2918 221 221 ;; If p= p0+p1 and q=q0+q1 then p*q=p0*q0+p0*q1+p1*q 222 222 ((endp (cdr p)) 223 (multiply-term-by-termlist-dropping-zeros (car p) q) 224 225 226 227 228 229 230 231 order-fn))))))))223 (multiply-term-by-termlist-dropping-zeros (car p) q)) 224 ((endp (cdr q)) 225 (multiply-term-by-termlist-dropping-zeros (car q) p t) 226 (t 227 (nconc (multiply-terms (car p) (car q)) 228 (tail (add-termlists 229 (multiply-term-by-termlist-dropping-zeros (car p) (cdr q)) 230 (multiply-termlists (cdr p) q) 231 order-fn))))))) 232 232 #| 233 233
Note:
See TracChangeset
for help on using the changeset viewer.