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:
[CASA]
[computeRadical]
[implUnion]
[implUnionLCM]
[implIntersect]
[implEqual]
[implEmpty]
[implIdealQuo]