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(x*y, x^2) : ideal(x);
ideal(y,  x)
/**/   colon(ideal(x^2, x*y), ideal(x, x-y^2));
ideal(x)
***** NOT YET IMPLEMENTED *****
  HColon(ideal(x^2, x*y), ideal(x, x-y^2));
ideal(x)
-------------------------------

See Also