Outsource SimpleSparsePolynomialZonotope to its own module

docs/src/lib/sets/SimpleSparsePolynomialZonotope.md

@@ -1,12 +1,16 @@
 ```@meta
-CurrentModule = LazySets
+CurrentModule = LazySets.SimpleSparsePolynomialZonotopeModule
 ```
 
 # [SimpleSparsePolynomialZonotope](@id def_SimpleSparsePolynomialZonotope)
 
 ```@docs
 SimpleSparsePolynomialZonotope
-PolynomialZonotope
+```
+
+## Operations
+
+```@docs
 center(::SimpleSparsePolynomialZonotope)
 convex_hull(::SimpleSparsePolynomialZonotope)
 expmat(::SimpleSparsePolynomialZonotope)
@@ -20,6 +24,16 @@ quadratic_map(::Vector{MT}, ::SimpleSparsePolynomialZonotope) where {N, MT<:Abst
 quadratic_map(::Vector{MT}, ::SimpleSparsePolynomialZonotope, ::SimpleSparsePolynomialZonotope) where {N, MT<:AbstractMatrix{N}}
 ```
 
+```@meta
+CurrentModule = LazySets
+```
+
+Alias:
+
+```@docs
+PolynomialZonotope
+```
+
 Inherited from [`AbstractPolynomialZonotope`](@ref):
 * [`dim`](@ref dim(::AbstractPolynomialZonotope))
 * [`order`](@ref dim(::AbstractPolynomialZonotope))

src/LazySets.jl

@@ -138,8 +138,21 @@ include("Sets/Singleton/SingletonModule.jl")
 include("Sets/LineSegment/LineSegmentModule.jl")
 @reexport using ..LineSegmentModule: LineSegment
 
-include("Sets/SimpleSparsePolynomialZonotope.jl")
 include("Sets/SparsePolynomialZonotope.jl")
+
+include("Sets/SimpleSparsePolynomialZonotope/SimpleSparsePolynomialZonotopeModule.jl")
+@reexport using ..SimpleSparsePolynomialZonotopeModule: SimpleSparsePolynomialZonotope,
+                                                        SSPZ,
+                                                        quadratic_map
+using ..SimpleSparsePolynomialZonotopeModule: _remove_redundant_generators_polyzono
+
+"""
+    PolynomialZonotope = SimpleSparsePolynomialZonotope
+
+Alias for `SimpleSparsePolynomialZonotope`.
+"""
+const PolynomialZonotope = SimpleSparsePolynomialZonotope
+
 include("Sets/VPolygon.jl")
 include("Sets/VPolytope.jl")
 include("Sets/Tetrahedron.jl")