Changeset 3633
- Timestamp:
- 2015-09-05T20:27:41-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r3632 r3633 265 265 if we extend the package to non-commutative rings." 266 266 `(mapcan #'(lambda (other-term) 267 (let ((prod ( r*267 (let ((prod (multiply 268 268 ,@(cond 269 269 (reverse-arg-order-p … … 272 272 `(,term other-term)))))) 273 273 (cond 274 (( r-zerop prod) nil)274 ((universal-zerop prod) nil) 275 275 (t (list prod))))) 276 276 ,termlist)) … … 289 289 (multiply-term-by-termlist-dropping-zeros (car q) p t)) 290 290 (t 291 (cons ( r*(car p) (car q))291 (cons (multiply (car p) (car q)) 292 292 (add-termlists 293 293 (multiply-term-by-termlist-dropping-zeros (car p) (cdr q))
Note:
See TracChangeset
for help on using the changeset viewer.