next up previous
Next: CPU依存の double Up: 数, 多項式 の CMO Previous: 分散表現多項式 Dpolynomial

再帰表現多項式の定義

#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...
...minate) のリスト. } \\
& & \quad \mbox{ --- 順序の高い順. } \\
\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)))
これは,

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

をあらわす. 非可換多項式もこの形式であらわしたいので, 積の順序を上のように すること. つまり, 主変数かける係数の順番.

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



Nobuki Takayama 平成12年4月13日