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

Interface RationalExpression

All Superinterfaces:
NumericExpression, SymbolicExpression, SymbolicObject
All Known Subinterfaces:
Constant, Monic, Monomial, Polynomial, Primitive, PrimitivePower
public interface RationalExpression extends NumericExpression
A RationalExpression is the quotient of two Monomials of real type. It also has real type.

  • Method Details

    • numerator

      Monomial numerator(IdealFactory factory)
      Returns the numerator of this rational expression
      Parameters:
      factory - the ideal factory responsible for this expression
      Returns:
      the numerator of this rational expression

    • denominator

      Monomial denominator(IdealFactory factory)
      Returns the denominator of this rational expression.
      Parameters:
      factory - the ideal factory responsible for this expression
      Returns:
      the denominator of this rational expression

    • powerRational

      RationalExpression powerRational(IdealFactory factory, RationalExpression exponent)

      Computes an expression equivalent to raising this expression to the exponent power.

      Preconditions:

      • if the monomial constant of the numerator of exponent is an integer (including a real integer), it is 1
      • if this has integer type then exponent has integer type

      Parameters:
      factory - the ideal factory responsible for this expression
      exponent - the power to which this expression should be raised
      Returns:
      an expression equivalent to raising this expression to the exponent power

    • powerInt

      RationalExpression powerInt(IdealFactory factory, IntegerNumber exponent)
      Computes an expression equivalent to raising this expression to the exponent power. In this case the exponent is an IntegerNumber.
      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