Fix all errors

Author: albertomercurio

src/negativity.jl

@@ -106,7 +106,7 @@ end
 function _partial_transpose(
     ρ::QuantumObject{OperatorQuantumObject,DimsType,<:AbstractSparseArray},
     mask::Vector{Bool},
-) where {DimsType}
+) where {DimsType<:AbstractDimensions}
     isa(ρ.dimensions, GeneralDimensions) &&
         (get_dimensions_to(ρ) != get_dimensions_from(ρ)) &&
         throw(ArgumentError("Invalid partial transpose for dims = $(_get_dims_string(ρ.dimensions))"))

src/qobj/boolean_functions.jl

@@ -11,7 +11,7 @@ export isunitary
 Checks if the [`QuantumObject`](@ref) `A` is a [`BraQuantumObject`](@ref). Default case returns `false` for any other inputs.
 """
 isbra(A::QuantumObject) = isbra(typeof(A))
-isbra(::Type{QuantumObject{BraQuantumObject,N}}) where {N} = true
+isbra(::Type{<:QuantumObject{BraQuantumObject,N}}) where {N} = true
 isbra(A) = false # default case
 
 @doc raw"""
@@ -20,7 +20,7 @@ isbra(A) = false # default case
 Checks if the [`QuantumObject`](@ref) `A` is a [`KetQuantumObject`](@ref). Default case returns `false` for any other inputs.
 """
 isket(A::QuantumObject) = isket(typeof(A))
-isket(::Type{QuantumObject{KetQuantumObject,N}}) where {N} = true
+isket(::Type{<:QuantumObject{KetQuantumObject,N}}) where {N} = true
 isket(A) = false # default case
 
 @doc raw"""
@@ -38,7 +38,7 @@ isoper(A) = false # default case
 Checks if the [`QuantumObject`](@ref) `A` is a [`OperatorBraQuantumObject`](@ref). Default case returns `false` for any other inputs.
 """
 isoperbra(A::QuantumObject) = isoperbra(typeof(A))
-isoperbra(::Type{QuantumObject{OperatorBraQuantumObject,N}}) where {N} = true
+isoperbra(::Type{<:QuantumObject{OperatorBraQuantumObject,N}}) where {N} = true
 isoperbra(A) = false # default case
 
 @doc raw"""
@@ -47,7 +47,7 @@ isoperbra(A) = false # default case
 Checks if the [`QuantumObject`](@ref) `A` is a [`OperatorKetQuantumObject`](@ref). Default case returns `false` for any other inputs.
 """
 isoperket(A::QuantumObject) = isoperket(typeof(A))
-isoperket(::Type{QuantumObject{OperatorKetQuantumObject,N}}) where {N} = true
+isoperket(::Type{<:QuantumObject{OperatorKetQuantumObject,N}}) where {N} = true
 isoperket(A) = false # default case
 
 @doc raw"""

src/qobj/functions.jl

@@ -51,19 +51,19 @@ expect(O::QuantumObject{OperatorQuantumObject}, ρ::QuantumObject{OperatorQuantu
 function expect(
     O::QuantumObject{OperatorQuantumObject,DimsType,<:Union{<:Hermitian{TF},<:Symmetric{TR}}},
     ψ::QuantumObject{KetQuantumObject},
-) where {DimsType,TF<:Number,TR<:Real}
+) where {DimsType<:AbstractDimensions,TF<:Number,TR<:Real}
     return real(dot(ψ.data, O.data, ψ.data))
 end
 function expect(
     O::QuantumObject{OperatorQuantumObject,DimsType,<:Union{<:Hermitian{TF},<:Symmetric{TR}}},
     ψ::QuantumObject{BraQuantumObject},
-) where {DimsType,TF<:Number,TR<:Real}
+) where {DimsType<:AbstractDimensions,TF<:Number,TR<:Real}
     return real(expect(O, ψ'))
 end
 function expect(
     O::QuantumObject{OperatorQuantumObject,DimsType,<:Union{<:Hermitian{TF},<:Symmetric{TR}}},
     ρ::QuantumObject{OperatorQuantumObject},
-) where {DimsType,TF<:Number,TR<:Real}
+) where {DimsType<:AbstractDimensions,TF<:Number,TR<:Real}
     return real(tr(O * ρ))
 end
 function expect(O::QuantumObject{OperatorQuantumObject}, ρ::Vector{<:QuantumObject})

src/time_evolution/sesolve.jl

@@ -1,6 +1,6 @@
 export sesolveProblem, sesolve
 
-_sesolve_make_U_QobjEvo(H::QuantumObjectEvolution{<:MatrixOperator}) =
+_sesolve_make_U_QobjEvo(H::QuantumObjectEvolution{OperatorQuantumObject,DimsType,<:MatrixOperator}) where {DimsType<:AbstractDimensions} =
     QobjEvo(MatrixOperator(-1im * H.data.A), dims = H.dimensions, type = Operator)
 _sesolve_make_U_QobjEvo(H::QuantumObject) = QobjEvo(MatrixOperator(-1im * H.data), dims = H.dimensions, type = Operator)
 _sesolve_make_U_QobjEvo(H::Union{QuantumObjectEvolution,Tuple}) = QobjEvo(H, -1im)

test/core-test/quantum_objects_evo.jl

@@ -133,8 +133,8 @@
         for T in [ComplexF32, ComplexF64]
             a = MatrixOperator(rand(T, N, N))
             UnionType = Union{
-                QuantumObjectEvolution{typeof(a),OperatorQuantumObject,GeneralDimensions{1,Tuple{Space},Tuple{Space}}},
-                QuantumObjectEvolution{typeof(a),OperatorQuantumObject,Dimensions{1,Tuple{Space}}},
+                QuantumObjectEvolution{OperatorQuantumObject,GeneralDimensions{1,Tuple{Space},Tuple{Space}},typeof(a)},
+                QuantumObjectEvolution{OperatorQuantumObject,Dimensions{1,Tuple{Space}},typeof(a)},
             }
             @inferred UnionType QobjEvo(a)
             @inferred UnionType QobjEvo(a, type = Operator)