comment out docs and import linear_map

JuliaReach · May 17, 2024 · 4700978 · 4700978
1 parent 4136e69
commit 4700978
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/MatrixSets/MatrixSets.jl b/src/MatrixSets/MatrixSets.jl
@@ -1,6 +1,7 @@
 module MatrixSets
 
 using ..LazySets
+import ..LazySets: linear_map
 export MatrixZonotope
 
 include("MatrixZonotope.jl")

diff --git a/src/MatrixSets/MatrixZonotope.jl b/src/MatrixSets/MatrixZonotope.jl
@@ -1,8 +1,8 @@
-"""
+#="""
 See Def. 4 in [1].
 
 [1] Luo, Ertai, Niklas Kochdumper, and Stanley Bak. "Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes." Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. 2023.
-"""
+"""=#
 struct MatrixZonotope{N,MN<:AbstractMatrix{N}}
     "Center matrix."
     A0::MN
@@ -22,11 +22,11 @@ struct MatrixZonotope{N,MN<:AbstractMatrix{N}}
     end
 end
 
-"""
+#="""
 See Prop. 1 in [1].
 
 [1] Luo, Ertai, Niklas Kochdumper, and Stanley Bak. "Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes." Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. 2023.
-"""
+"""=#
 function linear_map(MZ::MatrixZonotope, P::SimpleSparsePolynomialZonotope)
     A0 = MZ.A0
     Ai = MZ.Ai