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)

• List of variables.

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: