Uses of Class
wytp.proof.util.Arithmetic.Polynomial

Packages that use Arithmetic.Polynomial

Package	Description
wytp.proof.rules
wytp.proof.util

Uses of Arithmetic.Polynomial in wytp.proof.rules

Methods in wytp.proof.rules that return Arithmetic.Polynomial

Modifier and Type	Method and Description
Arithmetic.Polynomial	Simplification.filter(Arithmetic.Polynomial p, boolean sign)

Methods in wytp.proof.rules with parameters of type Arithmetic.Polynomial

Modifier and Type	Method and Description
Arithmetic.Polynomial	Simplification.filter(Arithmetic.Polynomial p, boolean sign)
static Arithmetic.Polynomial.Term	CongruenceClosure.selectCandidateForSubstitution(Arithmetic.Polynomial p) Examine all terms in a polynomial to see whether any is a candidate for substitution or not.

Uses of Arithmetic.Polynomial in wytp.proof.util

Fields in wytp.proof.util declared as Arithmetic.Polynomial

Modifier and Type	Field and Description
static Arithmetic.Polynomial	Arithmetic.Polynomial.ZERO

Methods in wytp.proof.util that return Arithmetic.Polynomial

Modifier and Type	Method and Description
Arithmetic.Polynomial	Arithmetic.Polynomial.add(Arithmetic.Polynomial.Term p)
Arithmetic.Polynomial	Arithmetic.Polynomial.add(Arithmetic.Polynomial p) Add two polynomials together, producing a polynomial in normal form.
static Arithmetic.Polynomial	Arithmetic.asPolynomial(WyalFile.Expr e)
Arithmetic.Polynomial	Arithmetic.Polynomial.factorise() Factorise a given polynomial.
Arithmetic.Polynomial	Arithmetic.Polynomial.multiply(Arithmetic.Polynomial.Term rhs)
Arithmetic.Polynomial	Arithmetic.Polynomial.multiply(Arithmetic.Polynomial p) Multiply two polynomials together.
Arithmetic.Polynomial	Arithmetic.Polynomial.multiply(BigInteger rhs)
Arithmetic.Polynomial	Arithmetic.Polynomial.negate()
Arithmetic.Polynomial	Arithmetic.Polynomial.subtract(Arithmetic.Polynomial.Term p)
Arithmetic.Polynomial	Arithmetic.Polynomial.subtract(Arithmetic.Polynomial p)

Methods in wytp.proof.util with parameters of type Arithmetic.Polynomial

Modifier and Type	Method and Description
Arithmetic.Polynomial	Arithmetic.Polynomial.add(Arithmetic.Polynomial p) Add two polynomials together, producing a polynomial in normal form.
int	Arithmetic.Polynomial.compareTo(Arithmetic.Polynomial p)
Arithmetic.Polynomial	Arithmetic.Polynomial.multiply(Arithmetic.Polynomial p) Multiply two polynomials together.
Arithmetic.Polynomial	Arithmetic.Polynomial.subtract(Arithmetic.Polynomial p)