public class Polynomial
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static Polynomial |
ONE
The polynomial expression of the BigInteger constant '1'.
|
static Polynomial |
ZERO
The polynomial expression of the BigInteger constant '0'.
|
Modifier and Type | Method and Description |
---|---|
Polynomial |
add(java.math.BigInteger c) |
Polynomial |
add(Monomial m) |
Polynomial |
add(Polynomial p) |
java.math.BigInteger |
coeffGcd() |
static Polynomial |
create(Term polyTerm,
Services services) |
java.math.BigInteger |
getConstantTerm() |
ImmutableList<Monomial> |
getParts() |
Polynomial |
multiply(java.math.BigInteger c) |
Polynomial |
multiply(Monomial m) |
boolean |
sameParts(Polynomial p) |
Polynomial |
sub(Polynomial p) |
java.lang.String |
toString() |
Term |
toTerm(Services services)
Creates a term from this polynomial expression.
|
boolean |
valueEq(java.math.BigInteger c) |
boolean |
valueEq(Polynomial p) |
boolean |
valueGeq(java.math.BigInteger c) |
boolean |
valueLeq(Polynomial p) |
boolean |
valueLess(java.math.BigInteger c) |
boolean |
valueLess(Polynomial p) |
boolean |
valueUneq(java.math.BigInteger c) |
boolean |
valueUneq(Polynomial p) |
public static final Polynomial ZERO
public static final Polynomial ONE
public static Polynomial create(Term polyTerm, Services services)
public Polynomial multiply(java.math.BigInteger c)
public Polynomial multiply(Monomial m)
public Polynomial add(java.math.BigInteger c)
public Polynomial sub(Polynomial p)
public Polynomial add(Monomial m)
public Polynomial add(Polynomial p)
public java.math.BigInteger coeffGcd()
BigInteger.ZERO
public boolean valueLess(Polynomial p)
true
if the value of this
will always be less than the
value of p
(i.e., same monomials, but the constant part is less or
equal)public boolean valueEq(Polynomial p)
true
if the value of this
will always be equal to the value
of p
(i.e., same monomials and same constant part)public boolean valueUneq(Polynomial p)
public boolean valueEq(java.math.BigInteger c)
public boolean valueUneq(java.math.BigInteger c)
public boolean valueLeq(Polynomial p)
true
if the value of this
will always be less or equal than
the value of p
(i.e., same monomials, but the constant part is less or
equal)public boolean valueLess(java.math.BigInteger c)
public boolean valueGeq(java.math.BigInteger c)
public boolean sameParts(Polynomial p)
public Term toTerm(Services services)
services
- the services objectpublic java.lang.String toString()
toString
in class java.lang.Object
public java.math.BigInteger getConstantTerm()
public ImmutableList<Monomial> getParts()
Copyright © 2003-2019 The KeY-Project.