Python: module util

util | index /Users/michael/sing2/modules/python/util.py

Classes
`` |  | __builtin__.object EquivalenceRelation chaintrans
class EquivalenceRelation(__builtin__.object)
`` | `this class represents an equivalent relation, which is implemented by repeated evaluatation of a map c[n]=m means that n is equivalent to m`
| Methods defined here: __getitem__(self, key) __init__(self) __setitem__(self, val, key) all_rewritings(self, var) canonical(self, var) isCanonical(self, var) rewrite(self, a, b) Data and other attributes defined here: __dict__ = <dictproxy object> `dictionary for instance variables (if defined)` __weakref__ = <attribute '__weakref__' of 'EquivalenceRelation' objects> `list of weak references to the object (if defined)`
class chaintrans(__builtin__.object)
`` |  | Methods defined here: __getitem__(self, key) __init__(self, chain, full) __str__(self) insert(self, key) Data and other attributes defined here: __dict__ = <dictproxy object> `dictionary for instance variables (if defined)` __weakref__ = <attribute '__weakref__' of 'chaintrans' objects> `list of weak references to the object (if defined)`

Functions
`` |  | create_ring(char=0, nvars=1, varNames=None, ordering='dp', degvec=None)

Data
`` |  | oldrings = [] singular = <interpreter.SingularGlobalsProxy object>