Module dev.civl.sarl

Package dev.civl.sarl.ideal.IF

Interface Primitive

All Superinterfaces:

Monic, Monomial, NumericExpression, PrimitivePower, RationalExpression, SymbolicExpression, SymbolicObject

All Known Subinterfaces:

Polynomial

public interface Primitive
extends PrimitivePower

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. This is a marker interface.

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

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

isTrivialMonic, monicFactors

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

powerInt, primitive, primitivePowerExponent

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