- Timestamp:
- 2015-06-10T13:04:15-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/polynomial.lisp
r1120 r1121 284 284 ((endp (cdddr expr)) 285 285 (let ((num (p-eval (cadr expr))) 286 (denom-inverse ( p-eval-scalar (cons '/ (last expr)))))286 (denom-inverse (apply (ring-div ring) (last expr)))) 287 287 (scalar-times-poly ring denom-inverse num))) 288 288 (t 289 289 (let ((num (p-eval (cadr expr))) 290 (denom-inverse ( funcall (ring-div ring) (poly-lc (p-eval-scalar (cons '* (cddr expr)))))))290 (denom-inverse (print (funcall (ring-div ring) (list* '* (ring-unit ring) (cddr expr)))))) 291 291 (scalar-times-poly ring denom-inverse num))))) 292 292 (expt
Note:
See TracChangeset
for help on using the changeset viewer.