多項式環(Dom::DistributedPolynomial, Dom::Polynomial)

環 $R$ にたいし、$R$ 上の多項式環を指定する方法には二通りあります。

Dom::DistributedPolynomial は、変数を指定した多項式環 ( $R[X], R[X,Y]$ など) を指定するのに使います。 ただし、$R$ の元は「標準型」(normal form) を持たねばならない、 という制限があります。これは、$R$ の元が 0 かどうかを判定する方法を MuPAD が知っている必要があるということです。

Dom::Polynomial は、「変数を指定しない多項式環」 (あえていえば

$$R[X,Y,\dots,$$   その他ありとあらゆる変数$$\dots]$$

) です。