implicit -- implicitization |
Syntax |
implicit(SubalgebraGens: LIST): IDEAL implicit(R: RING, SubalgebraGens: LIST): IDEAL |
Description |
Example |
/**/ use S ::= QQ[s,t]; /**/ implicit([s^3, s^2*t, s*t^2, t^3]); ideal(x[3]^2 -x[2]*x[4], x[2]*x[3] -x[1]*x[4], x[2]^2 -x[1]*x[3]) /**/ P ::= QQ[x,y,z,w]; /**/ implicit(P, [s^3, s^2*t, s*t^2, t^3]); ideal(z^2 -y*w, y*z -x*w, y^2 -x*z) |
See Also |