HColon |
Syntax |
HColon(M: IDEAL, N: IDEAL): IDEAL |
Description |
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 |