setup some testing

Author: lkdvos

Project.toml

@@ -9,7 +9,20 @@ JSON3 = "0f8b85d8-7281-11e9-16c2-39a750bddbf1"
 TensorKitSectors = "13a9c161-d5da-41f0-bcbd-e1a08ae0647f"
 
 [compat]
+Aqua = "0.8.9"
 Artifacts = "1.11.0"
 JSON3 = "1.14.1"
+SafeTestsets = "0.1"
 TensorKitSectors = "0.1.2"
+Test = "1.10"
+TestExtras = "0.3"
 julia = "1.10"
+
+[extras]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
+SafeTestsets = "1bc83da4-3b8d-516f-aca4-4fe02f6d838f"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+TestExtras = "5ed8adda-3752-4e41-b88a-e8b09835ee3a"
+
+[targets]
+test = ["Aqua", "SafeTestsets", "Test", "TestExtras"]

test/Project.toml

@@ -0,0 +1,54 @@
+using MultiTensorKit
+using TensorKitSectors
+using Test, TestExtras
+
+I = A4Object
+
+@testset "Basic type properties" begin
+    Istr = TensorKitSectors.type_repr(I)
+    @test eval(Meta.parse(sprint(show, I))) == I
+    @test eval(Meta.parse(TensorKitSectors.type_repr(I))) == I
+end
+
+@testset "Fusion Category $i" for i in 1:12
+    objects = A4Object.(i, i, MultiTensorKit._get_dual_cache(I)[i][2])
+
+    @testset "Basic properties" begin
+        s = rand(objects, 3)
+        @test eval(Meta.parse(sprint(show, s[1]))) == s[1]
+        @test @constinferred(hash(s[1])) == hash(deepcopy(s[1]))
+        @test isone(@constinferred(one(s[1])))
+        @constinferred dual(s[1])
+        @constinferred dim(s[1])
+        @constinferred frobeniusschur(s[1])
+        @constinferred Bsymbol(s...)
+        @constinferred Fsymbol(s..., s...)
+    end
+
+    @testset "Unitarity of F-move" begin
+        for a in objects, b in objects, c in objects
+            for d in ⊗(a, b, c)
+                es = collect(intersect(⊗(a, b), map(dual, ⊗(c, dual(d)))))
+                fs = collect(intersect(⊗(b, c), map(dual, ⊗(dual(d), a))))
+                Fblocks = Vector{Any}()
+                for e in es
+                    for f in fs
+                        Fs = Fsymbol(a, b, c, d, e, f)
+                        push!(Fblocks,
+                              reshape(Fs,
+                                      (size(Fs, 1) * size(Fs, 2),
+                                       size(Fs, 3) * size(Fs, 4))))
+                    end
+                end
+                F = hvcat(length(fs), Fblocks...)
+                @test isapprox(F' * F, one(F); atol=1e-12, rtol=1e-12)
+            end
+        end
+    end
+
+    @testset "Pentagon equation" begin
+        for a in objects, b in objects, c in objects, d in objects
+            @test pentagon_equation(a, b, c, d; atol=1e-12, rtol=1e-12)
+        end
+    end
+end

test/basics/test_A4.jl

@@ -1,63 +1,38 @@
 using SafeTestsets: @safetestset
-using Suppressor: Suppressor
 
 # check for filtered groups
 # either via `--group=ALL` or through ENV["GROUP"]
 const pat = r"(?:--group=)(\w+)"
 arg_id = findfirst(contains(pat), ARGS)
-const GROUP = uppercase(
-  if isnothing(arg_id)
-    get(ENV, "GROUP", "ALL")
-  else
-    only(match(pat, ARGS[arg_id]).captures)
-  end,
-)
+const GROUP = uppercase(if isnothing(arg_id)
+                            get(ENV, "GROUP", "ALL")
+                        else
+                            only(match(pat, ARGS[arg_id]).captures)
+                        end)
 
 "match files of the form `test_*.jl`, but exclude `*setup*.jl`"
-istestfile(fn) =
-  endswith(fn, ".jl") && startswith(basename(fn), "test_") && !contains(fn, "setup")
-"match files of the form `*.jl`, but exclude `*_notest.jl` and `*setup*.jl`"
-isexamplefile(fn) =
-  endswith(fn, ".jl") && !endswith(fn, "_notest.jl") && !contains(fn, "setup")
+istestfile(fn) = endswith(fn, ".jl") && startswith(basename(fn), "test_") &&
+                 !contains(fn, "setup")
 
 @time begin
-  # tests in groups based on folder structure
-  for testgroup in filter(isdir, readdir(@__DIR__))
-    if GROUP == "ALL" || GROUP == uppercase(testgroup)
-      groupdir = joinpath(@__DIR__, testgroup)
-      for file in filter(istestfile, readdir(groupdir))
-        filename = joinpath(groupdir, file)
-        @eval @safetestset $file begin
-          include($filename)
+    # tests in groups based on folder structure
+    for testgroup in filter(isdir, readdir(@__DIR__))
+        if GROUP == "ALL" || GROUP == uppercase(testgroup)
+            groupdir = joinpath(@__DIR__, testgroup)
+            for file in filter(istestfile, readdir(groupdir))
+                filename = joinpath(groupdir, file)
+                @eval @safetestset $file begin
+                    include($filename)
+                end
+            end
         end
-      end
-    end
-  end
-
-  # single files in top folder
-  for file in filter(istestfile, readdir(@__DIR__))
-    (file == basename(@__FILE__)) && continue # exclude this file to avoid infinite recursion
-    @eval @safetestset $file begin
-      include($file)
     end
-  end
 
-  # test examples
-  examplepath = joinpath(@__DIR__, "..", "examples")
-  for (root, _, files) in walkdir(examplepath)
-    contains(chopprefix(root, @__DIR__), "setup") && continue
-    for file in filter(isexamplefile, files)
-      filename = joinpath(root, file)
-      @eval begin
-        @safetestset $file begin
-          $(Expr(
-            :macrocall,
-            GlobalRef(Suppressor, Symbol("@suppress")),
-            LineNumberNode(@__LINE__, @__FILE__),
-            :(include($filename)),
-          ))
+    # single files in top folder
+    for file in filter(istestfile, readdir(@__DIR__))
+        (file == basename(@__FILE__)) && continue # exclude this file to avoid infinite recursion
+        @eval @safetestset $file begin
+            include($file)
         end
-      end
     end
-  end
 end