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

Packages that use Monic

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

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

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

Modifier and Type	Interface	Description
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.

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

Modifier and Type	Method	Description
Monic	IdealFactory.monic(SymbolicType type, PrimitivePower[] factorSet)	Returns a (possibly trivial) monic as specified.
Monic	Monomial.monic(IdealFactory factory)	Returns the monic factor of this monomial.
Monic	IdealFactory.monicMask(Monic monic, boolean[] mask)	Given a Monic returns the Monic obtained by removing some of the PrimitivePower factors according to the given mask.
Monic	Monic.powerInt(IdealFactory factory, IntegerNumber exponent)

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

Modifier and Type	Method	Description
Comparator<Monic>	IdealFactory.monicComparator()	The Comparator on Monics.
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 Monic

Modifier and Type	Method	Description
Monic	IdealFactory.monicMask(Monic monic, boolean[] mask)	Given a Monic returns the Monic obtained by removing some of the PrimitivePower factors according to the given mask.
Monomial	IdealFactory.monomial(Constant constant, Monic monic)	Returns a Monomial which is the product of the given constant and the given monic.