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

Interface Constant

All Superinterfaces:
Monomial, NumericExpression, RationalExpression, SymbolicExpression, SymbolicObject
public interface Constant extends Monomial
A constant, i.e., a concrete number. Wraps a NumberObject, which wraps a Number. It is how a concrete number is represented as a SymbolicExpression.

  • Method Details

    • value

      NumberObject value()
      Returns the NumberObject wrapped by this Constant.
      Returns:
      the underlying NumberObject

    • number

      Number number()
      Returns the underlying Number wrapped by this Constant. Convenience method, equivalent to value().getNumber().
      Returns:
      value().getNumber()

    • powerInt

      Constant 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