Merge pull request #817 from JuliaReach/schillic/typos

Adapt to new typos version
JuliaReach · Apr 3, 2024 · fba56e0 · fba56e0
2 parents 0c7cacd + 290251a
commit fba56e0
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/.typos.toml b/.typos.toml
@@ -7,6 +7,8 @@ OT = "OT"
 ND = "ND"
 GIR = "GIR"
 AKS = "AKS"
+FRE = "FRE"
+Ein = "Ein"
 
 [files]
 # do not check the following files:

diff --git a/docs/src/tutorials/linear_methods/introduction.md b/docs/src/tutorials/linear_methods/introduction.md
@@ -18,7 +18,8 @@ discretization for systems of linear differential equations of the form
     x'(t) = Ax(t),\qquad x(0) ∈ X_0 ∈ \mathbb{R}^n.
 ```
 for all times ``t ∈ [0, T]``. Linear systems with non-deterministic inputs
-is disussed in another section of this manual. We also consider an invariant specification: ``x(t) ∈ X`` for all times.
+is discussed in another section of this manual. We also consider an invariant
+specification: ``x(t) ∈ X`` for all times.
 
 The final part of this section introduces support function techniques and discusses
 the helicopter model application. For ease of exposition, this section only considers.

diff --git a/src/Algorithms/TMJets/TMJets20/reach.jl b/src/Algorithms/TMJets/TMJets20/reach.jl
@@ -243,7 +243,7 @@ function validated_step!(f!, t::Taylor1{T}, x::Vector{Taylor1{TaylorN{T}}},
     local success, _t0
 
     for nchecks in 1:25
-        # Validate the solution: remainder consistent with Schauder thm
+        # Validate the solution: remainder consistent with Schauder theorem
         δtI = sign_tstep * IA.interval(0, sign_tstep * δt)
         (success, Δ, _t0) = remainder_taylorstep!(f!, t, x, dx, xI, dxI, symIbox, δtI, params,
                                                   adaptive)