Union of a system of sets

MuPAD® notebooks will be removed in a future release. Use MATLAB® live scripts instead.

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.


solvelib::Union(set, param, paramset)
solvelib::Union(set, paramlist, vectorset)


solvelib::Union (set, paramlist, vectorset) returns the set of all objects that can be obtained by replacing, in some element of set, the list of free parameters paramlist by an element of vectorset.

set may be a set of any type; it need not depend on the parameter param, and it may also contain other free parameters.

paramset may be a set of any type and may depend on some free parameters. See Example 1.

If paramset is empty, the result is the empty set. Overloading has no effect in this case.

vectorset may be a set of any type, consisting of vectors whose dimension equals the number of variables in paramlist.


Example 1

We compute the set of all numbers that are equal to k + 1 or k + 3 for k = 2, k = 4, or k = l, where l is a free parameter.

solvelib::Union({k+1, k+3}, k, {2,4,l});

Example 2

In the same way, we can let a pair of parameters range over a set of pairs:

solvelib::Union(Dom::ImageSet(PI*k + exp(x) + y, k, Z_),
                [x, y], {[3, 2], [1, 4]})



Set of any type




Set of any type


List of identifiers


Set of vectors

Return Values

solvelib::Union returns a set of any type; see solve for an overview of the different types of sets. It may also return the unevaluated call if the union could not be computed.

Overloaded By


See Also

MuPAD Functions