Module dev.civl.sarl
Package dev.civl.sarl.ideal.IF

Interface PrimitivePower

All Superinterfaces:
Monic, Monomial, NumericExpression, RationalExpression, SymbolicExpression, SymbolicObject
All Known Subinterfaces:
Polynomial, Primitive
public interface PrimitivePower extends Monic
A power of a Primitive expression, xi, where x is a Primitive and i is a concrete positive int.

  • Method Details

    • primitive

      Primitive primitive(IdealFactory factory)
      Returns the Primitive which is the base in this primitive power expression.
      Parameters:
      factory - the ideal factory owning this expression
      Returns:
      the base in this primitive power expansion

    • primitivePowerExponent

      NumberObject primitivePowerExponent(IdealFactory factory)
      Returns the exponent in this primitive power expression, which is a positive integer represented as an NumberObject.
      Parameters:
      factory - the ideal factory owning this expression
      Returns:
      the exponent of this expression

    • powerInt

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