next up previous
Next: CPU dependent double Up: CMOexpressions for numbers and Previous: Distributed polynomial Dpolynomial

Recursive polynomials 

#define CMO_RECURSIVE_POLYNOMIAL        27
#define CMO_POLYNOMIAL_IN_ONE_VARIABLE  33

Group CMObject/RecursivePolynomial requires CMObject/Primitive, CMObject/Basic.
Polynomial in 1 variable, Coefficient, Name of the main variable, Recursive Polynomial, Ring definition for recursive polynomials $\in$ CMObject/RecursivePolynomial


\begin{eqnarray*}\mbox{Polynomial in 1 variable} &:& \mbox{({\tt CMO\_POLYNOMIA... ...& & \quad \mbox{ --- It is sorted in the decreasing order. } \\ \end{eqnarray*}


Example: 

(CMO_RECURSIEVE_POLYNOMIAL, ("x","y"),
(CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2,      0,  <--- "x"
  3, (CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2, 1,  <--- "y"
       5, 1234,
       0, 17),
  1, (CMO_POLYNOMIAL_IN_ONE_VARIABLE, 2, 1,  <--- "y"
       10, 1,
       5, 31)))
This represents

x3 (1234 y5 + 17 ) + x1 (y10 + 31 y5)

We intend to represent non-commutative polynomials with the same form. In such a case, the order of products are defined as above, that is a power of the main variable $\times$ a coeffcient. 

sm1
sm1>(x^2-h). [(class) (recursivePolynomial)] dc /ff set ;
sm1>ff ::
Class.recursivePolynomial h * ((-1)) + (x^2  * (1))


Nobuki Takayama 平成12年4月13日