Changeset 1751 for branches/f4grobner

Timestamp:

2015-06-15T09:00:52-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/mx-grobner.lisp (modified) (1 diff)

branches/f4grobner/mx-grobner.lisp

@@ -382 +382 @@
                                  (vars (gensym))
                                  (new-vars (gensym)))
+  "Evaluate a polynomial expression BODY in an environment
+constructred from Maxima switches.  The supplied arguments
+POLYNOMIALS, POLY-LISTS and POLY-LIST-LISTS should be polynomials,
+polynomial lists an lists of lists of polynomials, in Maxima general
+form. These are translated to NGROBNER package internal form and
+evaluated using operations in the NGROBNER package. The BODY should be
+defined in terms of those operations. MAXIMA-VARS is set to the list
+of variable names used at the Maxima level. The evaluation is
+performed by the NGROBNER package which ignores variable names, thus
+MAXIMA-VARS is used only to translate the polynomial expression to
+NGROBNER internal form. After evaluation, the value of BODY is
+translated back to the Maxima general form. When MAXIMA-NEW-VARS is
+present, it is appended to MAXIMA-VARS upon translation from the
+internal form back to Maxima general form, thus allowing extra
+variables which may have been created by the evaluation process.  The
+value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending
+on the form of the result returned by the top NGROBNER operation."
   `(let ((,vars (coerce-maxima-list ,maxima-vars))
          ,@(when new-vars-supplied-p