ImplicitHypersurface -- implicitization of hypersurface |
Syntax |
ImplicitHypersurface(ParamDescr: LIST): RINGELEM ImplicitHypersurface(ParamDescr: LIST, Algo: STRING): RINGELEM ImplicitHypersurface(P: RING, ParamDescr: LIST): RINGELEM ImplicitHypersurface(P: RING, ParamDescr: LIST, Algo: STRING): RINGELEM |
Description |
Example |
/**/ P ::= QQ[x,y,z]; /**/ use S ::= QQ[s,t]; /**/ ImplicitHypersurface(P, [s^2, s*t, t^2]); y^2 -x*z /**/ ImplicitHypersurface(P, [s^2, s*t, t^2], "Direct"); y^2 -x*z /**/ ImplicitHypersurface(P, [s^2, s*t, t^2], "ElimTH"); y^2 -x*z /**/ -- Parametrization by rational functions /**/ K := NewFractionField(RingQQt(1)); /**/ use K; /**/ ParamDescr := [ (1-t^2)/(1+t^2), 2*t/(1+t^2) ]; /**/ ImplicitHypersurface(ParamDescr); x[1]^2 +x[2]^2 -1 |
See Also |