イデアル(Dom::Ideal)

環 $R$ にたいして、$R$ のイデアルを定義するには、 Dom::Ideal を使います。

R::=Dom::IntegerMod(18);
L:=Dom::Ideal(R);    // L は R のイデアル全体の集合(Lattice)
J:=L({3,5});

                          <{3 mod 18, 5 mod 18}>

MuPAD はイデアルの和(+), 積(*), ベキなどを計算できますが、 最良の生成元を求めるほど賢くはないようです。 そういう方面ではグレブナ基底などを利用するのがいいでしょう。