Uses of Interface
dev.civl.sarl.ideal.IF.Monomial

Packages that use Monomial

Package	Description
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.

Uses of Monomial in dev.civl.sarl.ideal.IF

Subinterfaces of Monomial in dev.civl.sarl.ideal.IF

Modifier and Type	Interface	Description
interface	Constant	A constant, i.e., a concrete number.
interface	Monic	A Monic is a product of powers of primitive expressions x1i 1*...*xnin, where the x i are primitives and the ij are positive concrete ints.
interface	Polynomial	A polynomial: an expression which is the sum of monomials.
interface	Primitive	A numeric primitive expression, e.g., a symbolic constant of numeric type, an array read expression of numeric type, or a tuple read expression of numeric type.
interface	PrimitivePower	A power of a Primitive expression, xi, where x is a Primitive and i is a concrete positive int.

Fields in dev.civl.sarl.ideal.IF declared as Monomial

Modifier and Type	Field	Description
static final Monomial[]	IdealFactory.emptyTermList	An empty array (i.e., one of length 0) of Monomial.

Methods in dev.civl.sarl.ideal.IF that return Monomial

Modifier and Type	Method	Description
Monomial	IdealFactory.addMonomials(Monomial[] monomials)	Computes the sum of a non-empty set of Monomials of the same type.
Monomial	IdealFactory.addMonomials(Monomial m1, Monomial m2)	Computes the sum of any two Monomials of the same type.
Monomial[]	IdealFactory.addTermMaps(Monomial[] map1, Monomial[] map2)	Computes the sum of two term maps as a term map.
Monomial	RationalExpression.denominator(IdealFactory factory)	Returns the denominator of this rational expression.
Monomial	IdealFactory.divideIntegerMonomials(Monomial numerator, Monomial denominator)	Divides two Monomials of integer type.
Monomial[]	Monomial.expand(IdealFactory factory)	Returns the expansion of this monomial.
Monomial	IdealFactory.factorTermMap(Monomial[] terms)	Computes a Monomial which is equivalent to the sum of the terms in the given term map.
Monomial[]	Monomial.lower(IdealFactory factory)	Computes a term map from performing a single outer-level expansion.
Monomial	IdealFactory.modulo(NumericExpression arg0, NumericExpression arg1)	Returns a symbolic expression which represents arg0 modulo arg1.
Monomial	IdealFactory.monomial(Constant constant, Monic monic)	Returns a Monomial which is the product of the given constant and the given monic.
Monomial	IdealFactory.multiplyConstantMonomial(Constant constant, Monomial monomial)	Returns the product of a Constant and a Monomial of the same type.
Monomial[]	IdealFactory.multiplyConstantTermMap(Constant constant, Monomial[] map)	Computes the term map obtained by multiplying the given Constant with every term in a given term map.
Monomial	IdealFactory.multiplyMonomials(Monomial m1, Monomial m2)	Computes the product of any two Monomials of the same type.
Monomial[]	IdealFactory.multiplyTermMaps(Monomial[] map1, Monomial[] map2)	Returns the products of the two term maps as a term map.
Monomial	RationalExpression.numerator(IdealFactory factory)	Returns the numerator of this rational expression
Monomial[]	IdealFactory.oneTermMap(SymbolicType type)	Returns a invalid reference SymbolicMap with a single entry mapping the monic One to itself.
Monomial	Monomial.powerInt(IdealFactory factory, IntegerNumber exponent)
Monomial[]	IdealFactory.powerTermMap(SymbolicType type, Monomial[] map, NumberObject exponent)	Raises a term map to the given power, returning the result as a term map.
Monomial[]	Monomial.termMap(IdealFactory factory)	Returns the term map of this monomial.

Methods in dev.civl.sarl.ideal.IF that return types with arguments of type Monomial

Modifier and Type	Method	Description
dev.civl.sarl.util.KeySetFactory<Monic,Monomial>	IdealFactory.polynomialFactory()	What is the purpose of the polynomial factory.

Methods in dev.civl.sarl.ideal.IF with parameters of type Monomial

Modifier and Type	Method	Description
Monomial	IdealFactory.addMonomials(Monomial[] monomials)	Computes the sum of a non-empty set of Monomials of the same type.
Monomial	IdealFactory.addMonomials(Monomial m1, Monomial m2)	Computes the sum of any two Monomials of the same type.
Monomial[]	IdealFactory.addTermMaps(Monomial[] map1, Monomial[] map2)	Computes the sum of two term maps as a term map.
Monomial	IdealFactory.divideIntegerMonomials(Monomial numerator, Monomial denominator)	Divides two Monomials of integer type.
Monomial	IdealFactory.factorTermMap(Monomial[] terms)	Computes a Monomial which is equivalent to the sum of the terms in the given term map.
BooleanExpression	IdealFactory.isNonZero(Monomial monomial)	Computes an expression equivalent to "monomial != 0".
BooleanExpression	IdealFactory.isZero(Monomial monomial)	Computes boolean expression equivalent to m=0.
Monomial	IdealFactory.multiplyConstantMonomial(Constant constant, Monomial monomial)	Returns the product of a Constant and a Monomial of the same type.
Monomial[]	IdealFactory.multiplyConstantTermMap(Constant constant, Monomial[] map)	Computes the term map obtained by multiplying the given Constant with every term in a given term map.
Monomial	IdealFactory.multiplyMonomials(Monomial m1, Monomial m2)	Computes the product of any two Monomials of the same type.
Monomial[]	IdealFactory.multiplyTermMaps(Monomial[] map1, Monomial[] map2)	Returns the products of the two term maps as a term map.
RationalExpression	IdealFactory.ntRationalExpression(Monomial numerator, Monomial denominator)	Constructs new instance of NTRationalExpression.
Polynomial	IdealFactory.polynomial(SymbolicType type, Monomial[] terms)	Produces the result of summing the Monomials of a term map as a Polynomial.
Monomial[]	IdealFactory.powerTermMap(SymbolicType type, Monomial[] map, NumberObject exponent)	Raises a term map to the given power, returning the result as a term map.