polybori.intpolys
index
polybori/intpolys.py

 
Classes
       
__builtin__.object
IntegerPolynomial

 
class IntegerPolynomial(__builtin__.object)
    Polynomial with positive integer coefficients
 
  Methods defined here:
__add__(self, other)
>>> from polybori import *
>>> r= declare_ring([Block("x",1000)], globals()) # doctest: +ELLIPSIS
>>> p=IntegerPolynomial(x(1))
>>> p
{0: x(1)}
>>> p=p+p;p
{1: x(1)}
>>> p=p+x(2); p
{0: x(2), 1: x(1)}
>>> p+p
{1: x(2), 2: x(1)}
__coerce__(self, other)
__init__(self, boolean_polys)
__repr__(self)
__unicode__(self)

Data descriptors defined here:
__dict__
dictionary for instance variables (if defined)
__weakref__
list of weak references to the object (if defined)