diff --git a/docs/src/tutorials/linear_methods/dense_time.md b/docs/src/tutorials/linear_methods/dense_time.md index a8997f3269..06972c8b47 100644 --- a/docs/src/tutorials/linear_methods/dense_time.md +++ b/docs/src/tutorials/linear_methods/dense_time.md @@ -36,10 +36,9 @@ Define the invariant $G: \{(x, y) \in \mathbb{R}^2: x ≥ 1.3 \}$. ```@example dense_propagation -using ReachabilityAnalysis # hide -using ReachabilityAnalysis: center # hide +using ReachabilityAnalysis, Plots +using ReachabilityAnalysis: center -import Plots: plot, plot!, xlims!, ylims! # hide import Random # hide Random.seed!(1117) # hide diff --git a/docs/src/tutorials/linear_methods/discrete_time.md b/docs/src/tutorials/linear_methods/discrete_time.md index 1df979f64c..f410cc5e10 100644 --- a/docs/src/tutorials/linear_methods/discrete_time.md +++ b/docs/src/tutorials/linear_methods/discrete_time.md @@ -21,13 +21,11 @@ The matrix $M(\theta)$ rotates points in the xy-plane clockwise through an angle ### Propagating point clouds -To gain some intuition let's build the matrix and apply it to some points. +To gain some intuition, let's build the matrix and apply it to some points. ```@example discrete_propagation -using ReachabilityAnalysis # hide -using ReachabilityAnalysis: center # hide - -import Plots: plot, plot!, xlims!, ylims! # hide +using ReachabilityAnalysis, Plots +using ReachabilityAnalysis: center # initial set X0 = BallInf(ones(2), 0.2)