Skip to content

Commit 8bd77e5

Browse files
committed
fix isless(U1)
1 parent 8901076 commit 8bd77e5

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

NDTensors/src/lib/SymmetrySectors/src/sector_definitions/u1.jl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,3 +28,4 @@ end
2828

2929
# enforce U1(Int32(1)) == U1(1)
3030
Base.:(==)(s1::U1, s2::U1) = sector_label(s1) == sector_label(s2)
31+
Base.isless(s1::U1, s2::U1) = sector_label(s1) < sector_label(s2)

NDTensors/src/lib/SymmetrySectors/test/test_simple_sectors.jl

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@ using Test: @inferred, @test, @testset, @test_throws
5050
@test TrivialSector() == U1(0)
5151
@test U1(-1) < TrivialSector()
5252
@test TrivialSector() < U1(1)
53+
@test U1(Int8(1)) < U1(Int32(2))
5354
end
5455

5556
@testset "Z₂" begin

0 commit comments

Comments
 (0)