colon(M:IDEAL, N:IDEAL):IDEAL colon(M:MODULE, N:MODULE):IDEAL
/**/ 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)