| | |
- 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]
|