CASA Function: implIdealQuo
Computes the Zariski closure of the difference of two algebraic sets.
Calling Sequence:
Parameters:
- A : algset("impl")
- an algebraic set in implicit representation
- B : algset("impl")
- an algebraic set in implicit representation
Result:
- C : algset("impl")
- the Zariski closure of the difference of the two given algebraic sets.
Description:
- The function computes the algebraic set of the ideal quotient of the ideals of the given algebraic sets.
- The computation is reduced to the computation of the intersection of ideals.
- Let {q1,..,qn} be a basis for I(B), the ideal of B. It holds that I(A):I(B) = Intersection of I(A):<qi>, i=1,...,n, where <qi> is the principle ideal generated by qi. Each I(A):<qi> can be computed again by ideal intersection. Let {p1,...,pm} be a basis for intersect(I(A),<qi>) then {p1/qi,...,pm/qi} is a basis for I(A):<qi>.
Examples:
> a1 := mkImplAlgSet([x^3+x^2*y-x,z],[x,y,z]);
> a2 := mkImplAlgSet([x,y^2+z^2-1],[x,y,z]);
> implIdealQuo(a1,a2);
> implIdealQuo(a1,a1);
See Also:
[CASA]
[implUnion]
[implUnionLCM]
[implIntersect]
[implEqual]
[implEmpty]
[implSubSet]