Update IA and julia minimal versions, and bump minimal version

Project.toml

@@ -1,7 +1,7 @@
 name = "TaylorModels"
 uuid = "314ce334-5f6e-57ae-acf6-00b6e903104a"
 repo = "https://github.com/JuliaIntervals/TaylorModels.jl.git"
-version = "0.4.2"
+version = "0.5.0"
 
 [deps]
 IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
@@ -15,13 +15,13 @@ TaylorIntegration = "92b13dbe-c966-51a2-8445-caca9f8a7d42"
 TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea"
 
 [compat]
-IntervalArithmetic = "0.16, 0.17, 0.18, 0.19, 0.20"
+IntervalArithmetic = "^0.20"
 IntervalRootFinding = "0.5"
 RecipesBase = "0.8, 1.0"
 Reexport = "0.2, 1.0"
 TaylorIntegration = "0.7, 0.8"
 TaylorSeries = "0.10, 0.11"
-julia = "1.3, 1.4, 1.5, 1.6"
+julia = "1.5, 1.6"
 
 [extras]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

src/TaylorModels.jl

@@ -28,10 +28,6 @@ import IntervalArithmetic: showfull
 
 import LinearAlgebra: norm
 
-# export Taylor1Model, bound, make_Taylor_model, TMcomposition,
-#         taylor1_var, integrate, degree,
-#         calculate_set, Taylor_step
-
 export TaylorModel1, RTaylorModel1, TaylorModelN, TMSol
 
 export remainder, polynomial, domain, expansion_point, flowpipe, get_xTM,
@@ -52,8 +48,5 @@ include("show.jl")
 include("validatedODEs.jl")
 include("recipe.jl")
 
-# include("Taylor1/Taylor1.jl")
-# include("TaylorN/TaylorN.jl")
-
 
 end # module

src/validatedODEs.jl

@@ -685,7 +685,7 @@ function _validate_step!(xTM1K, f!, dx, x0, params, x, t, box, dof, rem, abstol,
                         adaptive::Bool, minabstol;
                         ε=1e-10, δ=1e-6, validatesteps=20, extrasteps=50)
     #
-    T = numtype(box[1])#eltype(box[1])
+    T = numtype(box[1])
     zI = zero_interval(T)
     domT = sign_tstep * Interval{T}(0, sign_tstep*δt)
     orderT = get_order(t)