CASA Function: implEqual
Test whether two algebraic sets in implicit representation are equal.
Calling Sequence:
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:
[CASA]
[implUnion]
[implUnionLCM]
[implIntersect]
[implSubSet]
[implEmpty]
[implIdealQuo]