Module dev.civl.sarl

Package dev.civl.sarl.ideal.IF

Interface Monic

All Superinterfaces:

Monomial, NumericExpression, RationalExpression, SymbolicExpression, SymbolicObject

All Known Subinterfaces:

Polynomial, Primitive, PrimitivePower

public interface Monic
extends Monomial

A Monic is a product of powers of primitive expressions x₁^{i ₁}*...*x_n^i_n, where the x _i are primitives and the i_j are positive concrete ints.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
boolean	isTrivialMonic()	Is this the trivial monic, i.e., the monic consisting of 0 factors (and therefore equivalent to 1)?
PrimitivePower[]	monicFactors(IdealFactory factory)	Returns the factors of this monic as a map from Primitive to PrimitivePower.
Monic	powerInt(IdealFactory factory, IntegerNumber exponent)	Computes an expression equivalent to raising this expression to the exponent power.

Methods inherited from interface dev.civl.sarl.ideal.IF.Monomial

expand, getTruePrimitives, hasNontrivialExpansion, lower, maxDegreeOf, monic, monomialConstant, monomialDegree, monomialOrder, termMap, totalDegree

Methods inherited from interface dev.civl.sarl.ideal.IF.RationalExpression

denominator, numerator, powerRational

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size, type

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Method Details

monicFactors

PrimitivePower[] monicFactors(IdealFactory factory)

Returns the factors of this monic as a map from Primitive to PrimitivePower. A key in the map is a primitive x and the value associated to x will be a primitive power xⁱ (x raised to the i^th power) for some positive integer i.

Parameters:

factory - the factory used to produce this monic

Returns:

the factors of this monic as a map

isTrivialMonic

boolean isTrivialMonic()

Is this the trivial monic, i.e., the monic consisting of 0 factors (and therefore equivalent to 1)?

Returns:

true iff this monic is trivial

powerInt

Monic powerInt(IdealFactory factory,
 IntegerNumber exponent)

Description copied from interface: RationalExpression

Computes an expression equivalent to raising this expression to the exponent power. In this case the exponent is an IntegerNumber.

Specified by:

powerInt in interface Monomial

Specified by:

powerInt in interface RationalExpression

Parameters:

factory - the ideal factory responsible for this expression

exponent - the power to which this expression should be raised, must be positive

Returns:

an expression equivalent to raising this expression to the exponent power