CASA Function: pointInAlgSet

Tests whether a point is in a given algebraic set.

Calling Sequence:

• b := pointInAlgSet(point,A)

Parameters:

point : list

• An point.

A : algset

• An algebraic set that is in implicit representation or can be converted to implicit representation.

Result:

b : boolean

• A boolean value indicating whether the given point is in the given algebraic set.

Description:

• This procedure tests whether point (given as a list of coordinates) lies in the algebraic set A.
• If necessary, the algebraic set is converted to implicit representation.

Examples:

> a1:=mkImplAlgSet([x^2+y,z^3+x*z-1],[x,y,z]);

> pointInAlgSet([0,0,1],a1);

> a2:=mkProjAlgSet([[z^3+x*z-1],[x,-(-2*z^3+1+z^6)/z^2, z]],[x, z]);

> pointInAlgSet([0,0,1],a2);

See Also: