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.

Ignore:
Timestamp:
2015-06-15T11:22:17-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1783 r1784  
    400400variables which may have been created by the evaluation process.  The
    401401value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending
    402 on the form of the result returned by the top NGROBNER operation."
     402on the form of the result returned by the top NGROBNER operation.
     403During evaluation, symbols supplied by RING-AND-ORDER-VAR
     404and RING-VAR are bound to RING-AND-ORDER and RING instances."
    403405  `(let ((,vars (coerce-maxima-list ,maxima-vars))
    404406         ,@(when new-vars-supplied-p
Note: See TracChangeset for help on using the changeset viewer.