public class Monomial
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
Monomial |
addToCoefficient(java.math.BigInteger c) |
static Monomial |
create(Term monoTerm,
Services services) |
Monomial |
divideLCR(Monomial m) |
boolean |
divides(Monomial m) |
boolean |
equals(java.lang.Object o) |
java.math.BigInteger |
getCoefficient() |
ImmutableList<Term> |
getParts() |
int |
hashCode() |
Monomial |
multiply(java.math.BigInteger c) |
Monomial |
multiply(Monomial m) |
Monomial |
reduce(Monomial m) |
boolean |
reducible(Monomial m) |
Monomial |
setCoefficient(java.math.BigInteger c) |
java.lang.String |
toString() |
Term |
toTerm(Services services) |
boolean |
variablesAreCoprime(Monomial m) |
boolean |
variablesDisjoint(Monomial m) |
boolean |
variablesEqual(Monomial m) |
boolean |
variablesSubsume(Monomial m) |
public static final Monomial ONE
public Monomial setCoefficient(java.math.BigInteger c)
public Monomial multiply(java.math.BigInteger c)
public Monomial addToCoefficient(java.math.BigInteger c)
public boolean divides(Monomial m)
this
divides the monomial
m
public boolean variablesSubsume(Monomial m)
this
subsume the
variables of m
, i.e., if each variable that
occurs in m
occurs in the same or a higher power
in this
public boolean variablesEqual(Monomial m)
public boolean variablesDisjoint(Monomial m)
public boolean reducible(Monomial m)
m
can be made smaller
(absolutely) by subtracting a multiple of this
public Monomial reduce(Monomial m)
m
by the
monomial this
public Monomial divideLCR(Monomial m)
m
and this
by the monomial
this
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.math.BigInteger getCoefficient()
public ImmutableList<Term> getParts()
public boolean variablesAreCoprime(Monomial m)
Copyright © 2003-2019 The KeY-Project.