- Timestamp:
- 2015-06-16T01:33:28-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/pol.lisp
r1995 r1996 336 336 (make-poly-variable ring (length vars) pos))) 337 337 ((atom expr) 338 ( coerce-coeffring expr vars))338 (scalar->poly ring expr vars)) 339 339 ((eq (car expr) list-marker) 340 340 (cons list-marker (p-eval-list (cdr expr)))) … … 357 357 ((endp (cddr expr)) 358 358 ;; A special case (/ ?), the inverse 359 ( coerce-coeffring (apply (ring-div ring) (cdr expr)) vars))359 (scalar->poly ring (apply (ring-div ring) (cdr expr)) vars)) 360 360 (t 361 361 (let ((num (p-eval (cadr expr))) … … 373 373 ;; Negative power means division in coefficient ring 374 374 ;; Non-integer power means non-polynomial coefficient 375 ( coerce-coeffring expr vars))375 (scalar->poly ring expr vars)) 376 376 (t (poly-expt ring-and-order (p-eval (cadr expr)) (caddr expr))))) 377 377 (otherwise 378 ( coerce-coeffring expr vars)))))))378 (scalar->poly ring expr vars))))))) 379 379 380 380 (defun poly-eval-scalar (expr
Note:
See TracChangeset
for help on using the changeset viewer.