CASA Function: implDifference

Computes the Zariski closure of the difference of two algebraic sets.

Calling Sequence:

Parameters:

A : algset("impl")
B : algset("impl")

Result:

C : algset("impl")

Description:

Examples:

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

[Maple Math]

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

[Maple Math]

> implDifference(a1,a2);

[Maple Math]

> implDifference(a1,a1);

[Maple Math]

See Also:

[CASA] [implUnion] [implUnionLCM] [implIntersect] [implEqual] [implEmpty] [implSubSet] [implIdealQuo]