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 1785


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1784 r1785  
    401401value type can be either :POLYNOMIAL, :POLY-LIST or :TERM, depending
    402402on 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."
     403During evaluation, symbols supplied by RING-AND-ORDER-VAR (defaul
     404value 'RING-AND-ORDER), and RING-VAR (default value 'RING) are bound
     405to RING-AND-ORDER and RING instances."
    405406  `(let ((,vars (coerce-maxima-list ,maxima-vars))
    406407         ,@(when new-vars-supplied-p
Note: See TracChangeset for help on using the changeset viewer.