add binary convex_hull method to API module

Author: schillic

docs/src/lib/API.md

@@ -84,6 +84,7 @@ translate!(::LazySet, ::AbstractVector)
 
 ```@docs
 cartesian_product(::LazySet, ::LazySet)
+convex_hull(::LazySet, ::LazySet)
 difference(::LazySet, ::LazySet)
 distance(::LazySet, ::LazySet)
 exact_sum(::LazySet, ::LazySet)

src/API/API.jl

@@ -80,6 +80,7 @@ include("Mixed/translate!.jl")
 include("Mixed/translate.jl")
 
 include("Binary/cartesian_product.jl")
+include("Binary/convex_hull.jl")
 include("Binary/difference.jl")
 include("Binary/distance.jl")
 include("Binary/exact_sum.jl")

src/API/Binary/convex_hull.jl

@@ -0,0 +1,19 @@
+"""
+    convex_hull(X::LazySet, Y::LazySet)
+
+Compute the convex hull of (the union of) two sets.
+
+### Input
+
+- `X` -- set
+- `Y` -- set
+
+### Output
+
+A set representing the convex hull of ``X ∪ Y``.
+
+### Notes
+
+See [`convex_hull(::LazySet)`](@ref) for the convex hull of a single set.
+"""
+function convex_hull(::LazySet, ::LazySet) end