Skip to content

Commit 71cae58

Browse files
committed
move intertwiner test to run it
1 parent d23381d commit 71cae58

File tree

2 files changed

+22
-22
lines changed

2 files changed

+22
-22
lines changed

test/runtests.jl

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,28 @@ using .SectorTestSuite
4747
end
4848
end
4949

50+
@testset "Intertwiner relation for A4Irrep" begin
51+
ω = cis(2π / 3)
52+
T3 = [1 0 0; 0 ω 0; 0 0 ω^2]
53+
T(a::Int8) = (a == 3) ? T3 : hcat^(a))
54+
S3 = 1 / 3 * [-1 2 2; 2 -1 2; 2 2 -1]
55+
S(a::Int8) = (a == 3) ? S3 : hcat(1)
56+
for a in smallset(A4Irrep), b in smallset(A4Irrep)
57+
for c in (a, b)
58+
C = fusiontensor(a, b, c)
59+
Ta, Tb, Tc = T(a.n), T(b.n), T(c.n)
60+
Sa, Sb, Sc = S(a.n), S(b.n), S(c.n)
61+
for μ in 1:Nsymbol(a, b, c)
62+
Cmat = reshape(view(C, :, :, :, μ), (dim(a) * dim(b), dim(c)))
63+
L_T = Cmat' * kron(Ta, Tb) * Cmat
64+
L_S = Cmat' * kron(Sa, Sb) * Cmat
65+
@test isapprox(L_T, Tc; atol = 1.0e-12)
66+
@test isapprox(L_S, Sc; atol = 1.0e-12)
67+
end
68+
end
69+
end
70+
end
71+
5072
@testset "Deligne product" begin
5173
sectorlist′ = (Trivial, sectorlist...)
5274
for I1 in sectorlist′, I2 in sectorlist′

test/sectors.jl

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -116,28 +116,6 @@ end
116116
end
117117
end
118118

119-
I == A4Irrep && @testsuite "Intertwiner relation" I -> begin
120-
ω = cis(2π / 3)
121-
T3 = [1 0 0; 0 ω 0; 0 0 ω^2]
122-
T(a::Int8) = (a == 3) ? T3 : hcat^(a))
123-
S3 = 1 / 3 * [-1 2 2; 2 -1 2; 2 2 -1]
124-
S(a::Int8) = (a == 3) ? S3 : hcat(1)
125-
for a in smallset(I), b in smallset(I)
126-
for c in (a, b)
127-
C = fusiontensor(a, b, c)
128-
Ta, Tb, Tc = T(a.n), T(b.n), T(c.n)
129-
Sa, Sb, Sc = S(a.n), S(b.n), S(c.n)
130-
for μ in 1:Nsymbol(a, b, c)
131-
Cmat = reshape(view(C, :, :, :, μ), (dim(a) * dim(b), dim(c)))
132-
L_T = Cmat' * kron(Ta, Tb) * Cmat
133-
L_S = Cmat' * kron(Sa, Sb) * Cmat
134-
@test isapprox(L_T, Tc; atol = 1.0e-12)
135-
@test isapprox(L_S, Sc; atol = 1.0e-12)
136-
end
137-
end
138-
end
139-
end
140-
141119
@testsuite "Unitarity of F-move" I -> begin
142120
for a in smallset(I), b in smallset(I), c in smallset(I)
143121
for d in (a, b, c)

0 commit comments

Comments
 (0)