polybori.easy_polynomials | index ../../../../lib/python2.7/dist-packages/polybori/easy_polynomials.py

Functions

``

easy_linear_factors(...)
  `easy_linear_factors( (Polynomial)arg1) -> BoolePolynomialVector :
  C++ signature :
  std::vector<polybori::BoolePolynomial, std::allocator<polybori::BoolePolynomial> > easy_linear_factors(polybori::BoolePolynomial)`

easy_linear_polynomials(p)
  `Get linear polynomials implied by given polynomial.
  >>> from polybori.frontend import *
  >>> easy_linear_polynomials(x(1)*x(2) + 1)
  [x(1) + 1, x(2) + 1]
  >>> easy_linear_polynomials(x(1)*x(2) + 0)
  []
  >>> easy_linear_polynomials(x(0)*x(1) + x(0)*x(2) + 1)
  [x(0) + 1, x(1) + x(2) + 1]`

easy_linear_polynomials_via_interpolation(p)
  `Get linear polynomials implied by given polynomial using interpolation
  of the variety.
  >>> from polybori.frontend import *
  >>> easy_linear_polynomials_via_interpolation(x(1)*x(2) + 1)
  [x(1) + 1, x(2) + 1]
  >>> easy_linear_polynomials_via_interpolation(x(1)*x(2) + 0)
  []
  >>> easy_linear_polynomials_via_interpolation(x(0)*x(1) + x(0)*x(2) + 1)
  [x(0) + 1, x(1) + x(2) + 1]`