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

Packages that use Primitive

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

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

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

Modifier and Type	Interface	Description
interface	Polynomial	A polynomial: an expression which is the sum of monomials.

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

Modifier and Type	Method	Description
Primitive	PrimitivePower.primitive(IdealFactory factory)	Returns the Primitive which is the base in this primitive power expression.

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

Modifier and Type	Method	Description
Set<Primitive>	Monomial.getTruePrimitives()	Returns the Primitives which are not Polynomials occurring in this Monomial.
dev.civl.sarl.util.KeySetFactory<Primitive,PrimitivePower>	IdealFactory.monicFactory()

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

Modifier and Type	Method	Description
IntegerNumber	Monomial.maxDegreeOf(NumberFactory factory, Primitive primitive)	Computes the maximum degree to which primitive occurs in this Monomial.
PrimitivePower	IdealFactory.primitivePower(Primitive primitive, NumberObject exponent)	Returns an instance of PrimitivePower representing raising the given primitive the given exponent.