CASA Function: toProj
Converts an algebraic set given in parametric or implicit representation to an algebraic set in projected representation.
Calling Sequence:
- B := toProj(A)
- B := toProj(A,vars)
Parameters:
- A : {algset("impl"),algset("para"),algset("proj")}
- Algebraic set in implicit projected or parametric representation.
- vars : list(name)
-
Result:
- B : algset("proj")
- A projected representation of the algebraic set A.
Description:
- This function takes an algebraic set and converts it into a projected representation in affine space.
- The variables vars will be taken for the representation in projected form. There must be at least d+1 variables where d is the dimension of the given algebraic set.
Examples:
> a:=mkImplAlgSet([y^2*z^3-x^5],[x,y,z],["basespace"="projective"]);
> toProj(a);
> a:=mkImplAlgSet([y^4-10*x*y^3+35*x^2*y^2-50*x^3*y+24*x^4+x^3],[x,y]);
> b:=toPara(a);
> toProj(b,[u,v]);
> toProj(a,[u,v]);
See Also:
[CASA]
[toImpl]
[toPara]
[toPlac]