close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 1751 for branches/f4grobner


Ignore:
Timestamp:
2015-06-15T09:00:52-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/mx-grobner.lisp

    r1750 r1751  
    382382                                 (vars (gensym))
    383383                                 (new-vars (gensym)))
     384  "Evaluate a polynomial expression BODY in an environment
     385constructred from Maxima switches.  The supplied arguments
     386POLYNOMIALS, POLY-LISTS and POLY-LIST-LISTS should be polynomials,
     387polynomial lists an lists of lists of polynomials, in Maxima general
     388form. These are translated to NGROBNER package internal form and
     389evaluated using operations in the NGROBNER package. The BODY should be
     390defined in terms of those operations. MAXIMA-VARS is set to the list
     391of variable names used at the Maxima level. The evaluation is
     392performed by the NGROBNER package which ignores variable names, thus
     393MAXIMA-VARS is used only to translate the polynomial expression to
     394NGROBNER internal form. After evaluation, the value of BODY is
     395translated back to the Maxima general form. When MAXIMA-NEW-VARS is
     396present, it is appended to MAXIMA-VARS upon translation from the
     397internal form back to Maxima general form, thus allowing extra
     398variables which may have been created by the evaluation process.  The
     399value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending
     400on the form of the result returned by the top NGROBNER operation."
    384401  `(let ((,vars (coerce-maxima-list ,maxima-vars))
    385402         ,@(when new-vars-supplied-p
Note: See TracChangeset for help on using the changeset viewer.