Colon |
Syntax |
Colon(M:IDEAL,N:IDEAL):IDEAL Colon(M:MODULE,N:MODULE):IDEAL |
Description |
M : N
is a shortcut for Colon(M,N)
.
See also HColon for non-homogeneous input.
Example |
Use R ::= Q[x,y]; Ideal(xy,x^2) : Ideal(x); Ideal(y, x) ------------------------------- Colon(Ideal(x^2,xy), Ideal(x,x-y^2)); Ideal(x) ------------------------------- |
See Also |