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 ::= QQ[x,y];
/**/  ideal(x*y, x^2) : ideal(x);
ideal(y, x)

/**/  colon(ideal(x^2, x*y), ideal(x, x-y^2));
ideal(x)

See Also