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 1746


Ignore:
Timestamp:
2015-06-15T08:44:55-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/mx-grobner.lisp

    r1745 r1746  
    297297
    298298
    299 (defvar *ring-and-order* nil
    300   "All arithmetical operations are expressions using this variable.
    301 Before using operations defined in the NGROBNER package, this variable
    302 should be bound to an instance of the structure RING-AND-ORDER.")
    303 
    304299;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    305300;;
Note: See TracChangeset for help on using the changeset viewer.