# CASA Function: implUnion

Computes the union of algebraic sets.

### Calling Sequence:

### Parameters:

- As : exprseq(algset("impl"))
- Algebraic sets in implicit representation.

### Result:

- U : algset("impl")
- The union of the given algebraic sets.

### Description:

- The function computes the union of algebraic sets in implicit form by computing the product of the corresponding ideals. These ideals are given by a finite basis. A basis of the product is obtained by forming all products of basis elements.
- For the case of two algebraic sets A and B: Let the ideal of A have the basis {p1,...,pn} and let the ideal of B have the basis {q1,...,qm} then the product has the basis {p1*q1,p2*q1,...,pn*q1,...,p1*qm,p2*qm,...,pn*qm}. If the algebraic sets have common components then the result contains these components with higher multiplicity (compare implUnionLCM)

### Examples:

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

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

`> ` **implUnion(a1,a2);**

### See Also:

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