next up previous
Next: 商体(Dom::Fraction) Up: 環・体 Previous: Dom::Polynomial

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



2008-11-15