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>