Merge pull request #336 from JuliaReach/schillic/version

Bump minimal Julia version to v1.6

Author: schillic

.github/workflows/test-pull-request.yml

@@ -26,7 +26,7 @@ jobs:
         arch:
           - x64
         include:
-          - version: '1.5'  # test on oldest supported version
+          - version: '1.6'  # test on oldest supported version
             arch: x64
             os: ubuntu-latest
     env:

Project.toml

@@ -21,4 +21,4 @@ MultivariatePolynomials = "0.3, 0.4, 0.5"
 RecipesBase = "0.6, 0.7, 0.8, 1.0, 1.1, 1.2"
 Requires = "1.3.1"
 SparseArrays = "<0.0.1, 1.4"
-julia = "1.5"
+julia = "1.6"

src/identity.jl

@@ -101,9 +101,22 @@ function Base.:(*)(𝐼::IdentityMultiple, v::AbstractVector)
 end
 
 # beside `AbstractMatrix`, we need some disambiguations with LinearAlgebra since v1.6
-for M in @static VERSION < v"1.6" ? [:AbstractMatrix] :
-                 (:AbstractMatrix, :Diagonal, :(Transpose{<:Any,<:AbstractVector}),
-                  :(Adjoint{<:Any,<:AbstractVector}), :(LinearAlgebra.AbstractTriangular))
+MATRICES = @static VERSION < v"1.6" ? [:AbstractMatrix] :
+                   [:AbstractMatrix, :Diagonal, :(Transpose{<:Any,<:AbstractVector}),
+                    :(Adjoint{<:Any,<:AbstractVector}), :(LinearAlgebra.AbstractTriangular)]
+@static if VERSION < v"1.8"
+    append!(MATRICES,
+            [:(Transpose{<:Any,
+                         <:Union{LinearAlgebra.Hermitian{T,S},LinearAlgebra.Symmetric{T,S},
+                                 LinearAlgebra.Symmetric{Complex{T},S}} where {T<:Real,S}}),
+             :(Adjoint{<:Any,
+                       <:Union{LinearAlgebra.Hermitian{T,S},LinearAlgebra.Hermitian{Complex{T},S},
+                               LinearAlgebra.Symmetric{T,S}} where {T<:Real,S}})])
+end
+@static if VERSION < v"1.9"
+    push!(MATRICES, :(Adjoint{<:Any,<:LinearAlgebra.AbstractRotation}))
+end
+for M in MATRICES
     @eval begin
         function Base.:(*)(𝐼::IdentityMultiple, A::$M)
             𝐼.n != size(A, 1) && throw(DimensionMismatch("incompatible dimensions"))