Skip to content

Commit

Permalink
migrate imports to top-level
Browse files Browse the repository at this point in the history
  • Loading branch information
lkdvos committed Dec 10, 2024
1 parent e336215 commit 4ab42c5
Show file tree
Hide file tree
Showing 12 changed files with 12 additions and 31 deletions.
12 changes: 12 additions & 0 deletions src/SymmetrySectors.jl
Original file line number Diff line number Diff line change
@@ -1,5 +1,17 @@
module SymmetrySectors

using BlockArrays: blocklengths
using LabelledNumbers: LabelledInteger, label, label_type, labelled, unlabel, unlabel_type
using GradedUnitRanges:
GradedUnitRanges,
blocklabels,
fuse_blocklengths,
gradedrange,
tensor_product,
AbstractGradedUnitRange,
dual
using HalfIntegers: HalfInteger, Half, half, twice

include("symmetry_style.jl")
include("abstractsector.jl")
include("sector_definitions/fib.jl")
Expand Down
5 changes: 0 additions & 5 deletions src/abstractsector.jl
Original file line number Diff line number Diff line change
@@ -1,11 +1,6 @@
# This file defines the abstract type AbstractSector
# all fusion categories (Z{2}, SU2, Ising...) are subtypes of AbstractSector

using BlockArrays: blocklengths
using LabelledNumbers: LabelledInteger, label, label_type, labelled, unlabel, unlabel_type
using GradedUnitRanges:
GradedUnitRanges, blocklabels, fuse_blocklengths, gradedrange, tensor_product

abstract type AbstractSector end

# =================================== Base interface =====================================
Expand Down
2 changes: 0 additions & 2 deletions src/sector_definitions/fib.jl
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,6 @@
#
# (same fusion rules as subcategory {0,1} of su2{3})
#
using ..GradedUnitRanges: GradedUnitRanges

struct Fib <: AbstractSector
l::Int
end
Expand Down
3 changes: 0 additions & 3 deletions src/sector_definitions/ising.jl
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,6 @@
# (same fusion rules as su2{2})
#

using HalfIntegers: Half, twice
using ..GradedUnitRanges: GradedUnitRanges

struct Ising <: AbstractSector
l::Half{Int}
end
Expand Down
3 changes: 0 additions & 3 deletions src/sector_definitions/o2.jl
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,6 @@
# - 2-dimensional Sz=±|m| irrep, with m a half integer
#

using HalfIntegers: Half, HalfInteger
using ..GradedUnitRanges: GradedUnitRanges

# here we use only one half-integer as label:
# - l=0 for trivial
# - l=-1 for zero odd
Expand Down
3 changes: 0 additions & 3 deletions src/sector_definitions/su.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,6 @@
# Special unitary group SU(N)
#

using HalfIntegers: HalfInteger, half, twice
using ...GradedUnitRanges: GradedUnitRanges

struct SU{N,M} <: AbstractSector
# l is the first row of the
# Gelfand-Tsetlin (GT) pattern describing
Expand Down
3 changes: 0 additions & 3 deletions src/sector_definitions/su2k.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,6 @@
# Quantum 'group' su2ₖ
#

using HalfIntegers: Half
using ...GradedUnitRanges: GradedUnitRanges

struct su2{k} <: AbstractSector
j::Half{Int}
end
Expand Down
2 changes: 0 additions & 2 deletions src/sector_definitions/trivial.jl
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,6 @@
# acts as a trivial sector for any AbstractSector
#

using ...GradedUnitRanges: GradedUnitRanges

# Trivial is special as it does not have a label
struct TrivialSector <: AbstractSector end

Expand Down
2 changes: 0 additions & 2 deletions src/sector_definitions/u1.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@
# U₁ group (circle group, or particle number, total Sz etc.)
#

using ...GradedUnitRanges: GradedUnitRanges

# Parametric type to allow both integer label as well as
# HalfInteger for easy conversion to/from SU(2)
struct U1{T} <: AbstractSector
Expand Down
2 changes: 0 additions & 2 deletions src/sector_definitions/zn.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@
# Cyclic group Zₙ
#

using ...GradedUnitRanges: GradedUnitRanges

struct Z{N} <: AbstractSector
m::Int
Z{N}(m) where {N} = new{N}(mod(m, N))
Expand Down
4 changes: 0 additions & 4 deletions src/sector_product.jl
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
# This files defines a structure for Cartesian product of 2 or more fusion sectors
# e.g. U(1)×U(1), U(1)×SU2(2)×SU(3)

using BlockArrays: blocklengths
using LabelledNumbers: LabelledInteger, label, labelled, unlabel
using GradedUnitRanges: AbstractGradedUnitRange, GradedUnitRanges, dual

# ===================================== Definition =======================================
struct SectorProduct{Sectors} <: AbstractSector
arguments::Sectors
Expand Down
2 changes: 0 additions & 2 deletions src/symmetry_style.jl
Original file line number Diff line number Diff line change
@@ -1,8 +1,6 @@
# This file defines SymmetryStyle, a trait to distinguish abelian groups, non-abelian groups
# and non-group fusion categories.

using LabelledNumbers: LabelledInteger, label_type

abstract type SymmetryStyle end

struct AbelianStyle <: SymmetryStyle end
Expand Down

0 comments on commit 4ab42c5

Please sign in to comment.