up previous next
HColon

ideal or module quotient

Syntax
HColon(M: IDEAL, N: IDEAL): IDEAL

Description
***** NOT YET IMPLEMENTED *****

The function colon 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.

This function computes the same ideal using a Hilbert-driven algorithm. It differs from colon only when the input is non-homogeneous, in which case, HColon may be faster.

Example
  use R ::= QQ[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)
-------------------------------

See Also