up previous next
Colon

ideal or module quotient

Syntax
Colon(M:IDEAL,N:IDEAL):IDEAL
Colon(M:MODULE,N:MODULE):IDEAL

Description
This function returns the quotient of M by N: the ideal of all polynomials F such that F*G is in M for all G in N. The command M : N is a shortcut for Colon(M,N). See also HColon for non-homogeneous input.

Example
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)
------------------------------- 


See Also