Changeset 1751
- Timestamp:
- 2015-06-15T09:00:52-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/mx-grobner.lisp
r1750 r1751 382 382 (vars (gensym)) 383 383 (new-vars (gensym))) 384 "Evaluate a polynomial expression BODY in an environment 385 constructred from Maxima switches. The supplied arguments 386 POLYNOMIALS, POLY-LISTS and POLY-LIST-LISTS should be polynomials, 387 polynomial lists an lists of lists of polynomials, in Maxima general 388 form. These are translated to NGROBNER package internal form and 389 evaluated using operations in the NGROBNER package. The BODY should be 390 defined in terms of those operations. MAXIMA-VARS is set to the list 391 of variable names used at the Maxima level. The evaluation is 392 performed by the NGROBNER package which ignores variable names, thus 393 MAXIMA-VARS is used only to translate the polynomial expression to 394 NGROBNER internal form. After evaluation, the value of BODY is 395 translated back to the Maxima general form. When MAXIMA-NEW-VARS is 396 present, it is appended to MAXIMA-VARS upon translation from the 397 internal form back to Maxima general form, thus allowing extra 398 variables which may have been created by the evaluation process. The 399 value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending 400 on the form of the result returned by the top NGROBNER operation." 384 401 `(let ((,vars (coerce-maxima-list ,maxima-vars)) 385 402 ,@(when new-vars-supplied-p
Note:
See TracChangeset
for help on using the changeset viewer.