polybori.intpolys | index ../../../../lib/python2.7/dist-packages/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)`