handle polynomials in 1/z

[crowlogic]

Feature Enhancement: Generalize indeterminateVariable

Objective

Enable indeterminateVariable within expressions to support more complex nodes beyond simple variables. Specifically, allow indeterminateVariable to be an instance of Division, facilitating the representation of polynomials in terms of the inverse of the variable.

Detailed Description

• Current Implementation: indeterminateVariable is restricted to being a Variable instance.

• Proposed Change: Extend indeterminateVariable to accept a Division node. This change involves:

  • Numerator as a LiteralConstant of 1.
  • Denominator as a Variable<>.

Benefits

• Directly support like the one below:

$$\frac{1}{z}$$

• Specifically useful for polynomials such as Lommel polynomials.

Implementation Checklist

• [ ] Modify the data structure to accept Division as a valid type for indeterminateVariable.
• [ ] Ensure that operations (addition, multiplication, evaluation) correctly handle the new node type.
• [ ] Update documentation to reflect changes in the handling of indeterminateVariable.

[crowlogic]

this can be done by implementing RationalFunctions

[crowlogic]

RealQuasipolynomials underway