Changeset 1785
- Timestamp:
- 2015-06-15T11:23:25-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1784 r1785 401 401 value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending 402 402 on the form of the result returned by the top NGROBNER operation. 403 During evaluation, symbols supplied by RING-AND-ORDER-VAR 404 and RING-VAR are bound to RING-AND-ORDER and RING instances." 403 During evaluation, symbols supplied by RING-AND-ORDER-VAR (defaul 404 value 'RING-AND-ORDER), and RING-VAR (default value 'RING) are bound 405 to RING-AND-ORDER and RING instances." 405 406 `(let ((,vars (coerce-maxima-list ,maxima-vars)) 406 407 ,@(when new-vars-supplied-p
Note:
See TracChangeset
for help on using the changeset viewer.