homog |
Syntax |
homog(V: RINGELEM, X: RINGELEM): RINGELEM homog(V: MODULEELEM, X: RINGELEM): MODULEELEM homog(L: LIST, X: RINGELEM): LIST homog(I: IDEAL, X: RINGELEM): IDEAL homog(M: MODULE, X: RINGELEM): MODULE |
Description |
Example |
/**/ Use R ::= QQ[x,y,z,w]; /**/ homog(x^3-y, w); x^3 -y*w^2 /**/ homog([x^3-y, x^4-z], w); [x^3 -y*w^2, x^4 -z*w^3] /**/ I := ideal(x^3-y, x^4-z); /**/ homog(I, w); -- don't just get the homogenizations of -- the generators of I ideal(x*y -z*w, x^2*z -y^2*w, x^3 -y*w^2, y^3 -x*z^2) |
See Also |