add tests for styles of types

Author: AFeuerpfeil

test/operators.jl

@@ -34,7 +34,11 @@ module TestOperators
             mpo₂ = FiniteMPO(O₂)
             mpo₃ = FiniteMPO(O₃)
 
+            @test isfinite(mpo₁)
+            @test isfinite(typeof(mpo₁))
+            @test GeometryStyle(typeof(mpo₁)) == FiniteStyle()
             @test GeometryStyle(mpo₁) == FiniteStyle()
+            @test OperatorStyle(typeof(mpo₁)) == MPOStyle()
             @test OperatorStyle(mpo₁) == MPOStyle()
 
 
@@ -95,7 +99,11 @@ module TestOperators
         H1 += H1'
         H = InfiniteMPO([H1])
 
+        @test !isfinite(H)
+        @test !isfinite(typeof(H))
+        @test GeometryStyle(typeof(H)) == InfiniteStyle()
         @test GeometryStyle(H) == InfiniteStyle()
+        @test OperatorStyle(typeof(H)) == MPOStyle()
         @test OperatorStyle(H) == MPOStyle()
     end
 
@@ -127,7 +135,11 @@ module TestOperators
         H′ = FiniteMPOHamiltonian(map(Base.Fix1(collect, Any), Ws)) # without type info
         @test H ≈ H′
 
+        @test isfinite(H)
+        @test isfinite(typeof(H))
+        @test GeometryStyle(typeof(H)) == FiniteStyle()
         @test GeometryStyle(H) == FiniteStyle()
+        @test OperatorStyle(typeof(H)) == HamiltonianStyle()
         @test OperatorStyle(H) == HamiltonianStyle()
 
         # Infinite
@@ -141,7 +153,11 @@ module TestOperators
         H′ = InfiniteMPOHamiltonian(map(Base.Fix1(collect, Any), Ws)) # without type info
         @test all(parent(H) .≈ parent(H′))
 
+        @test !isfinite(H)
+        @test !isfinite(typeof(H))
+        @test GeometryStyle(typeof(H)) == InfiniteStyle()
         @test GeometryStyle(H) == InfiniteStyle()
+        @test OperatorStyle(typeof(H)) == HamiltonianStyle()
         @test OperatorStyle(H) == HamiltonianStyle()
     end
 

test/states.jl

@@ -25,7 +25,9 @@ module TestStates
         L = rand(3:20)
         ψ = FiniteMPS(rand, elt, L, d, D)
 
+        @test isfinite(ψ)
         @test isfinite(typeof(ψ))
+        @test GeometryStyle(typeof(ψ)) == FiniteStyle()
         @test GeometryStyle(ψ) == FiniteStyle()
         @test @constinferred physicalspace(ψ) == fill(d, L)
         @test all(x -> x ≾ D, @constinferred left_virtualspace(ψ))
@@ -102,7 +104,9 @@ module TestStates
 
         ψ = InfiniteMPS([rand(elt, D * d, D), rand(elt, D * d, D)]; tol)
 
+        @test !isfinite(typeof(ψ))
         @test !isfinite(ψ)
+        @test GeometryStyle(typeof(ψ)) == InfiniteStyle()
         @test GeometryStyle(ψ) == InfiniteStyle()
 
         @test physicalspace(ψ) == fill(d, 2)
@@ -236,6 +240,7 @@ module TestStates
             ϕ₂ = LeftGaugedQP(rand, ψ)
 
             @test GeometryStyle(ϕ₁) == FiniteStyle()
+            @test GeometryStyle(typeof(ϕ₂)) == FiniteStyle()
 
             @test @constinferred physicalspace(ϕ₁) == physicalspace(ψ)
             @test @constinferred left_virtualspace(ϕ₁) == left_virtualspace(ψ)
@@ -273,6 +278,7 @@ module TestStates
             ϕ₂ = LeftGaugedQP(rand, ψ)
 
             @test GeometryStyle(ϕ₁) == InfiniteStyle()
+            @test GeometryStyle(typeof(ϕ₂)) == InfiniteStyle()
 
             @test @constinferred physicalspace(ϕ₁) == physicalspace(ψ)
             @test @constinferred left_virtualspace(ϕ₁) == left_virtualspace(ψ)