up previous next
HColon

ideal or module quotient
Syntax 

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

Description
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