These functions return the quotient of M by N: the ideal of
polynomials F in R such that FG is in M for all G in N. The command
'M : N' is a shortcut for 'Colon(M,N)'.
The function 'HColon' calculates the ideal quotient using a
Hilbert-driven algorithm. It differs from 'Colon' only when the input
is inhomogeneous, in which case, 'HColon' may be faster.
|
Use R ::= Q[x,y];
Ideal(xy,x^2) : Ideal(x);
Ideal(y, x)
-------------------------------
Colon(Ideal(x^2,xy),Ideal(x,x-y^2));
Ideal(x)
-------------------------------
HColon(Ideal(x^2,xy),Ideal(x,x-y^2));
Ideal(x)
-------------------------------
|