CASA Function: mkProjAlgSet

Creates an algebraic set in projected representation.

Calling Sequence:

• A := mkProjAlgSet(l,v)
• A := mkProjAlgSet(l,v,attr)

Parameters:

l : list(list(polynom),list(ratpoly))

• A list of polynomials and a list of rational functions.

v : list(name)

• A list of indeterminates (not including parameters).

attr : list(equation)

• Some initial attributes.

Result:

A : algset("proj")

• An algebraic set in projected representation.

Description:

• The function works as an input interface to the datatype algebraic set. It takes as argument a list of two items. The first is an algebraic set, usually a hyperplane in a lower dimensional space, given in implicit form by a list of polynomials. The second item is a list of rational functions which map the given algebraic set into a higher dimensional space.
• The second argument is a list of variables.
• The third, optional argument may be used to specify initial attributes of the algebraic set.

Examples:

> A := mkProjAlgSet([[u^2-v^3+v^2],[u+v,u-v,1/v]],[u,v]);

See Also: