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

Packages that use PrimitivePower

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

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

Subinterfaces of PrimitivePower 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.

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

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

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

Modifier and Type	Method	Description
PrimitivePower[]	Monic.monicFactors(IdealFactory factory)	Returns the factors of this monic as a map from Primitive to PrimitivePower.
PrimitivePower	PrimitivePower.powerInt(IdealFactory factory, IntegerNumber exponent)
PrimitivePower	IdealFactory.primitivePower(Primitive primitive, NumberObject exponent)	Returns an instance of PrimitivePower representing raising the given primitive the given exponent.

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

Modifier and Type	Method	Description
dev.civl.sarl.util.KeySetFactory<Primitive,PrimitivePower>	IdealFactory.monicFactory()

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

Modifier and Type	Method	Description
Monic	IdealFactory.monic(SymbolicType type, PrimitivePower[] factorSet)	Returns a (possibly trivial) monic as specified.