/**/ 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);
-- same as Homogenized5(w, I); Homogenized([w], I); --***OBSOLETE MANUAL: WORK IN PROGRESS***
Homogenized(w, I); -- don't just get the homogenizations of
-- the generators of I
Ideal(x^3 - yw^2, -xy + zw, x^2z - y^2w, y^3 - xz^2)
-------------------------------
Homogenized(w,[[I,y-z^2],z-y^4]); --***OBSOLETE MANUAL: WORK IN PROGRESS***
[[Ideal(x^3 - yw^2, -xy + zw, x^2z - y^2w, y^3 - xz^2), -z^2 + yw], -y^4 + zw^3]
-------------------------------
|