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