Skip to content

Commit

Permalink
formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
@lkdvos
lkdvos committed Dec 10, 2024
1 parent 4ab42c5 commit dbdfa0d
Show file tree
Hide file tree
Showing 4 changed files with 57 additions and 57 deletions.
2 changes: 1 addition & 1 deletion test/test_basics.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ using SymmetrySectors: SymmetrySectors
using Test: @test, @testset

@testset "SymmetrySectors" begin
# Tests go here.
# Tests go here.
end
32 changes: 16 additions & 16 deletions test/test_fusion_rules.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ using Test: @inferred, @test, @testset, @test_throws
@testset "O2 fusion rules" begin
s0e = O2(0)
s0o = O2(-1)
s12 = O2(1 // 2)
s12 = O2(1//2)
s1 = O2(1)

q = TrivialSector()
Expand All @@ -70,7 +70,7 @@ using Test: @inferred, @test, @testset, @test_throws
@test space_isequal((@inferred s0o ⊗ s12), gradedrange([s12 => 1]))
@test space_isequal((@inferred s12 ⊗ s0e), gradedrange([s12 => 1]))
@test space_isequal((@inferred s12 ⊗ s0o), gradedrange([s12 => 1]))
@test space_isequal((@inferred s12 ⊗ s1), gradedrange([s12 => 1, O2(3 // 2) => 1]))
@test space_isequal((@inferred s12 ⊗ s1), gradedrange([s12 => 1, O2(3//2) => 1]))
@test space_isequal((@inferred s12 ⊗ s12), gradedrange([s0o => 1, s0e => 1, s1 => 1]))

@test (@inferred quantum_dimension(s0o ⊗ s1)) == 2
Expand All @@ -79,9 +79,9 @@ using Test: @inferred, @test, @testset, @test_throws

@testset "SU2 fusion rules" begin
j1 = SU2(0)
j2 = SU2(1 // 2)
j2 = SU2(1//2)
j3 = SU2(1)
j4 = SU2(3 // 2)
j4 = SU2(3//2)
j5 = SU2(2)

@test space_isequal(j1 ⊗ j2, gradedrange([j2 => 1]))
Expand Down Expand Up @@ -215,17 +215,17 @@ end
end

@testset "GradedUnitRange non-abelian fusion rules" begin
g3 = gradedrange([SU2(0) => 1, SU2(1 // 2) => 2, SU2(1) => 1])
g4 = gradedrange([SU2(1 // 2) => 1, SU2(1) => 2])
g3 = gradedrange([SU2(0) => 1, SU2(1//2) => 2, SU2(1) => 1])
g4 = gradedrange([SU2(1//2) => 1, SU2(1) => 2])
g34 = gradedrange([
SU2(1 // 2) => 1,
SU2(1//2) => 1,
SU2(0) => 2,
SU2(1) => 2,
SU2(1 // 2) => 1,
SU2(3 // 2) => 1,
SU2(1//2) => 1,
SU2(3//2) => 1,
SU2(1) => 2,
SU2(1 // 2) => 4,
SU2(3 // 2) => 4,
SU2(1//2) => 4,
SU2(3//2) => 4,
SU2(0) => 2,
SU2(1) => 2,
SU2(2) => 2,
Expand All @@ -236,7 +236,7 @@ end
@test space_isequal(dual(flip(g3)), g3) # trivial for SU(2)
@test space_isequal(
(@inferred fusion_product(g3, g4)),
gradedrange([SU2(0) => 4, SU2(1 // 2) => 6, SU2(1) => 6, SU2(3 // 2) => 5, SU2(2) => 2]),
gradedrange([SU2(0) => 4, SU2(1//2) => 6, SU2(1) => 6, SU2(3//2) => 5, SU2(2) => 2]),
)
@test (@inferred block_dimensions(g3)) == [1, 4, 3]

Expand Down Expand Up @@ -271,10 +271,10 @@ end
@test space_isequal((@inferred fusion_product(g1, U1(1))), g2)
@test space_isequal((@inferred fusion_product(U1(1), g1)), g2)

g3 = gradedrange([SU2(0) => 1, SU2(1 // 2) => 2])
g4 = gradedrange([SU2(0) => 2, SU2(1 // 2) => 1, SU2(1) => 2])
@test space_isequal((@inferred fusion_product(g3, SU2(1 // 2))), g4)
@test space_isequal((@inferred fusion_product(SU2(1 // 2), g3)), g4)
g3 = gradedrange([SU2(0) => 1, SU2(1//2) => 2])
g4 = gradedrange([SU2(0) => 2, SU2(1//2) => 1, SU2(1) => 2])
@test space_isequal((@inferred fusion_product(g3, SU2(1//2))), g4)
@test space_isequal((@inferred fusion_product(SU2(1//2), g3)), g4)

# test different simple sectors cannot be fused
@test_throws MethodError Z{2}(0) ⊗ U1(1)
Expand Down
72 changes: 36 additions & 36 deletions test/test_sector_product.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,28 +33,28 @@ using Test: @inferred, @test, @testset, @test_throws
@test arguments(s)[2] == U1(2)
@test (@inferred trivial(s)) == SectorProduct(U1(0), U1(0))

s = U1(1) × SU2(1 // 2) × U1(3)
s = U1(1) × SU2(1//2) × U1(3)
@test length(arguments(s)) == 3
@test (@inferred quantum_dimension(s)) == 2
@test (@inferred dual(s)) == U1(-1) × SU2(1 // 2) × U1(-3)
@test (@inferred dual(s)) == U1(-1) × SU2(1//2) × U1(-3)
@test arguments(s)[1] == U1(1)
@test arguments(s)[2] == SU2(1 // 2)
@test arguments(s)[2] == SU2(1//2)
@test arguments(s)[3] == U1(3)
@test (@inferred trivial(s)) == SectorProduct(U1(0), SU2(0), U1(0))

s = U1(3) × SU2(1 // 2) × Fib("τ")
s = U1(3) × SU2(1//2) × Fib("τ")
@test length(arguments(s)) == 3
@test (@inferred quantum_dimension(s)) == 1.0 + √5
@test dual(s) == U1(-3) × SU2(1 // 2) × Fib("τ")
@test dual(s) == U1(-3) × SU2(1//2) × Fib("τ")
@test arguments(s)[1] == U1(3)
@test arguments(s)[2] == SU2(1 // 2)
@test arguments(s)[2] == SU2(1//2)
@test arguments(s)[3] == Fib("τ")
@test (@inferred trivial(s)) == SectorProduct(U1(0), SU2(0), Fib("1"))

s = TrivialSector() × U1(3) × SU2(1 / 2)
@test length(arguments(s)) == 3
@test (@inferred quantum_dimension(s)) == 2
@test dual(s) == TrivialSector() × U1(-3) × SU2(1 // 2)
@test dual(s) == TrivialSector() × U1(-3) × SU2(1//2)
@test (@inferred trivial(s)) == SectorProduct(TrivialSector(), U1(0), SU2(0))
@test s > trivial(s)
end
Expand Down Expand Up @@ -95,7 +95,7 @@ using Test: @inferred, @test, @testset, @test_throws
g = gradedrange([(U1(2) × SU2(0) × Z{2}(0)) => 1, (U1(2) × SU2(1) × Z{2}(0)) => 1])
@test (@inferred quantum_dimension(g)) == 4
@test (@inferred block_dimensions(g)) == [1, 3]
g = gradedrange([(SU2(0) × U1(0) × SU2(1 // 2)) => 1, (SU2(0) × U1(1) × SU2(1 // 2)) => 1])
g = gradedrange([(SU2(0) × U1(0) × SU2(1//2)) => 1, (SU2(0) × U1(1) × SU2(1//2)) => 1])
@test (@inferred quantum_dimension(g)) == 4
@test (@inferred block_dimensions(g)) == [2, 2]

Expand Down Expand Up @@ -153,15 +153,15 @@ using Test: @inferred, @test, @testset, @test_throws

@testset "Fusion of NonAbelian products" begin
p0 = SectorProduct(SU2(0))
ph = SectorProduct(SU2(1 // 2))
ph = SectorProduct(SU2(1//2))
@test space_isequal(
(@inferred p0 ⊗ TrivialSector()), gradedrange([SectorProduct(SU2(0)) => 1])
)
@test space_isequal(
(@inferred TrivialSector() ⊗ ph), gradedrange([SectorProduct(SU2(1 // 2)) => 1])
(@inferred TrivialSector() ⊗ ph), gradedrange([SectorProduct(SU2(1//2)) => 1])
)

phh = SU2(1 // 2) × SU2(1 // 2)
phh = SU2(1//2) × SU2(1//2)
@test space_isequal(
phh ⊗ phh,
gradedrange([
Expand Down Expand Up @@ -203,21 +203,21 @@ using Test: @inferred, @test, @testset, @test_throws
end

@testset "Fusion of mixed Abelian and NonAbelian products" begin
p2h = U1(2) × SU2(1 // 2)
p1h = U1(1) × SU2(1 // 2)
p2h = U1(2) × SU2(1//2)
p1h = U1(1) × SU2(1//2)
@test space_isequal(
p2h ⊗ p1h, gradedrange([(U1(3) × SU2(0)) => 1, (U1(3) × SU2(1)) => 1])
)

p1h1 = U1(1) × SU2(1 // 2) × Z{2}(1)
p1h1 = U1(1) × SU2(1//2) × Z{2}(1)
@test space_isequal(
p1h1 ⊗ p1h1,
gradedrange([(U1(2) × SU2(0) × Z{2}(0)) => 1, (U1(2) × SU2(1) × Z{2}(0)) => 1]),
)
end

@testset "Fusion of fully mixed products" begin
s = U1(1) × SU2(1 // 2) × Ising("σ")
s = U1(1) × SU2(1//2) × Ising("σ")
@test space_isequal(
s ⊗ s,
gradedrange([
Expand All @@ -230,7 +230,7 @@ using Test: @inferred, @test, @testset, @test_throws

ı = Fib("1")
τ = Fib("τ")
s = SU2(1 // 2) × U1(1) × τ
s = SU2(1//2) × U1(1) × τ
@test space_isequal(
s ⊗ s,
gradedrange([
Expand All @@ -247,7 +247,7 @@ using Test: @inferred, @test, @testset, @test_throws

@testset "Fusion of different length Categories" begin
@test SectorProduct(U1(1) × U1(0)) ⊗ SectorProduct(U1(1)) ==
SectorProduct(U1(2) × U1(0))
SectorProduct(U1(2) × U1(0))
@test space_isequal(
(@inferred SectorProduct(SU2(0) × SU2(0)) ⊗ SectorProduct(SU2(1))),
gradedrange([SectorProduct(SU2(1) × SU2(0)) => 1]),
Expand All @@ -269,8 +269,8 @@ using Test: @inferred, @test, @testset, @test_throws
end

@testset "GradedUnitRange fusion rules" begin
s1 = U1(1) × SU2(1 // 2) × Ising("σ")
s2 = U1(0) × SU2(1 // 2) × Ising("1")
s1 = U1(1) × SU2(1//2) × Ising("σ")
s2 = U1(0) × SU2(1//2) × Ising("1")
g1 = gradedrange([s1 => 2])
g2 = gradedrange([s2 => 1])
@test space_isequal(
Expand Down Expand Up @@ -368,8 +368,8 @@ end
])
@test (@inferred quantum_dimension(g)) == 4
g = gradedrange([
SectorProduct(; A=SU2(0), B=Z{2}(0), C=SU2(1 // 2)) => 1,
SectorProduct(; A=SU2(0), B=Z{2}(1), C=SU2(1 // 2)) => 1,
SectorProduct(; A=SU2(0), B=Z{2}(0), C=SU2(1//2)) => 1,
SectorProduct(; A=SU2(0), B=Z{2}(1), C=SU2(1//2)) => 1,
])
@test (@inferred quantum_dimension(g)) == 4

Expand Down Expand Up @@ -420,9 +420,9 @@ end

@testset "Fusion of NonAbelian products" begin
p0 = SectorProduct(;)
pha = SectorProduct(; A=SU2(1 // 2))
phb = SectorProduct(; B=SU2(1 // 2))
phab = SectorProduct(; A=SU2(1 // 2), B=SU2(1 // 2))
pha = SectorProduct(; A=SU2(1//2))
phb = SectorProduct(; B=SU2(1//2))
phab = SectorProduct(; A=SU2(1//2), B=SU2(1//2))

@test space_isequal(
(@inferred pha ⊗ pha),
Expand Down Expand Up @@ -473,13 +473,13 @@ end
end

@testset "Fusion of mixed Abelian and NonAbelian products" begin
q0h = SectorProduct(; J=SU2(1 // 2))
q0h = SectorProduct(; J=SU2(1//2))
q10 = (N=U1(1),) × (J=SU2(0),)
# Put names in reverse order sometimes:
q1h = (J=SU2(1 // 2),) × (N=U1(1),)
q1h = (J=SU2(1//2),) × (N=U1(1),)
q11 = (N=U1(1),) × (J=SU2(1),)
q20 = (N=U1(2),) × (J=SU2(0),) # julia 1.6 does not accept gradedrange without J
q2h = (N=U1(2),) × (J=SU2(1 // 2),)
q2h = (N=U1(2),) × (J=SU2(1//2),)
q21 = (N=U1(2),) × (J=SU2(1),)
q22 = (N=U1(2),) × (J=SU2(2),)

Expand All @@ -490,7 +490,7 @@ end
end

@testset "Fusion of fully mixed products" begin
s = SectorProduct(; A=U1(1), B=SU2(1 // 2), C=Ising("σ"))
s = SectorProduct(; A=U1(1), B=SU2(1//2), C=Ising("σ"))
@test space_isequal(
s ⊗ s,
gradedrange([
Expand All @@ -503,7 +503,7 @@ end

ı = Fib("1")
τ = Fib("τ")
s = SectorProduct(; A=SU2(1 // 2), B=U1(1), C=τ)
s = SectorProduct(; A=SU2(1//2), B=U1(1), C=τ)
@test space_isequal(
s ⊗ s,
gradedrange([
Expand All @@ -523,17 +523,17 @@ end
)
end
@testset "GradedUnitRange fusion rules" begin
s1 = SectorProduct(; A=U1(1), B=SU2(1 // 2), C=Ising("σ"))
s2 = SectorProduct(; A=U1(0), B=SU2(1 // 2), C=Ising("1"))
s1 = SectorProduct(; A=U1(1), B=SU2(1//2), C=Ising("σ"))
s2 = SectorProduct(; A=U1(0), B=SU2(1//2), C=Ising("1"))
g1 = gradedrange([s1 => 2])
g2 = gradedrange([s2 => 1])
s3 = SectorProduct(; A=U1(1), B=SU2(0), C=Ising("σ"))
s4 = SectorProduct(; A=U1(1), B=SU2(1), C=Ising("σ"))
@test space_isequal(fusion_product(g1, g2), gradedrange([s3 => 2, s4 => 2]))

sA = SectorProduct(; A=U1(1))
sB = SectorProduct(; B=SU2(1 // 2))
sAB = SectorProduct(; A=U1(1), B=SU2(1 // 2))
sB = SectorProduct(; B=SU2(1//2))
sAB = SectorProduct(; A=U1(1), B=SU2(1//2))
gA = gradedrange([sA => 2])
gB = gradedrange([sB => 1])
@test space_isequal(fusion_product(gA, gB), gradedrange([sAB => 2]))
Expand Down Expand Up @@ -594,13 +594,13 @@ end
@test (@inferred st1 ⊗ s) == st1
@test (@inferred SectorProduct(SU2(0)) ⊗ s) == gradedrange([SectorProduct(SU2(0)) => 1])
@test (@inferred SectorProduct(Fib("τ"), SU2(1), U1(2)) ⊗ s) ==
gradedrange([SectorProduct(Fib("τ"), SU2(1), U1(2)) => 1])
gradedrange([SectorProduct(Fib("τ"), SU2(1), U1(2)) => 1])

@test (@inferred sA1 ⊗ s) == sA1
@test (@inferred SectorProduct(; A=SU2(0)) ⊗ s) ==
gradedrange([SectorProduct(; A=SU2(0)) => 1])
gradedrange([SectorProduct(; A=SU2(0)) => 1])
@test (@inferred SectorProduct(; A=Fib("τ"), B=SU2(1), C=U1(2)) ⊗ s) ==
gradedrange([SectorProduct(; A=Fib("τ"), B=SU2(1), C=U1(2)) => 1])
gradedrange([SectorProduct(; A=Fib("τ"), B=SU2(1), C=U1(2)) => 1])

# Empty behaves as empty NamedTuple
@test s != U1(0)
Expand Down
8 changes: 4 additions & 4 deletions test/test_simple_sectors.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ using Test: @inferred, @test, @testset, @test_throws
@testset "O(2)" begin
s0e = O2(0)
s0o = O2(-1)
s12 = O2(1 // 2)
s12 = O2(1//2)
s1 = O2(1)

@test trivial(O2) == s0e
Expand All @@ -111,9 +111,9 @@ using Test: @inferred, @test, @testset, @test_throws

@testset "SU(2)" begin
j1 = SU2(0)
j2 = SU2(1 // 2) # Rational will be cast to HalfInteger
j2 = SU2(1//2) # Rational will be cast to HalfInteger
j3 = SU2(1)
j4 = SU2(3 // 2)
j4 = SU2(3//2)

# alternative constructors
@test j2 == SU{2}((1,)) # tuple SU(N)-like constructor
Expand All @@ -127,7 +127,7 @@ using Test: @inferred, @test, @testset, @test_throws

@test trivial(SU{2}) == SU2(0)
@test istrivial(SU2(0))
@test fundamental(SU{2}) == SU2(1 // 2)
@test fundamental(SU{2}) == SU2(1//2)

@test quantum_dimension(j1) == 1
@test quantum_dimension(j2) == 2
Expand Down

0 comments on commit dbdfa0d

Please sign in to comment.