商体(Dom::Fraction)

整域 $R$ に対して、その商体を MuPAD で使うには、Dom::Fraction をつかいます。

Z:=Dom::Integer;
R:=Dom::DistributedPolynomial([X],Z);
S:=Dom::Fraction(R);
 S(X)/S(1+X);

                                     X
                                   -----
                                   X + 1


 S(X)/S(2);  

                                     X
                                     -
                                     2

等々。