CASA Function: implEqual

Test whether two algebraic sets in implicit representation are equal.

Calling Sequence:

• b := implEqual(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 two given algebraic sets are equal.

Description:

• The function implEqual tests if two algebraic sets in implicit form are equal.
• There is implEqual(A,B) if and only if (implSubSet(A,B) and implSubSet(B,A)).

Examples:

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

> a2 := tsolve(a1);

> implEqual(a1,a2);

See Also: