Changeset 1032 for branches/f4grobner
- Timestamp:
- 2015-06-10T08:18:30-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/parse.lisp
r1031 r1032 257 257 (setf (elt basis i) (make-variable ring n i)))) 258 258 259 (defun poly-eval-1 ( ring-and-order expr vars259 (defun poly-eval-1 (expr vars ring order 260 260 &aux 261 (ring (ro-ring ring-and-order))261 (ring-and-order (make-ring-and-order :ring ring :order order)) 262 262 (n (length vars)) 263 263 (basis (variable-basis ring (length vars)))) … … 308 308 309 309 (defun poly-eval (expr vars 310 &optional (order #'lex>) (ring *ring-of-integers*) 311 &aux 312 (ring-and-order (make-ring-and-order :ring ring :order order))) 310 &optional (order #'lex>) (ring *ring-of-integers*)) 313 311 "Evaluate an expression EXPR, which should be a polynomial 314 312 expression or a list of polynomial expressions (a list of expressions
Note:
See TracChangeset
for help on using the changeset viewer.