CASA Function: equalBaseSpaces

Test whether two algebraic sets in implicit representation live in the same space.

Calling Sequence:

• b := equalBaseSpaces(A,B)

Parameters:

A : algset("impl")

• An algebraic set in implicit representation.

B : algset("impl")

• An algebraic set in implicit representation.

Result:

b : boolean

• A boolean value indicating whether the algebraic sets A and B have the same variables and lie both in affine or projective space.

Description:

• The function tests whether two algebraic sets in implicit representation live in the same space.

Examples:

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

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

> a3 := mkImplAlgSet([y^2+z^2-1],[y,z]);

> equalBaseSpaces(a1,a2);

> equalBaseSpaces(a1,a3);

> equalBaseSpaces(a1,toProjective(a2));

See Also: