explicit import HalfInteger

Author: ogauthe

NDTensors/src/lib/Sectors/src/Sectors.jl

@@ -1,6 +1,7 @@
 module Sectors
 
 using BlockArrays: blocklengths
+using HalfIntegers: Half, HalfInteger, twice
 
 using NDTensors.LabelledNumbers:
   LabelledInteger, label, label_type, labelled, unlabel, unlabel_type

NDTensors/src/lib/Sectors/src/category_definitions/ising.jl

@@ -1,13 +1,11 @@
-using HalfIntegers: HalfIntegers
-
 #
 # Ising category
 #
 # (same fusion rules as su2{2})
 #
 
 struct Ising <: AbstractCategory
-  l::HalfIntegers.Half{Int}
+  l::Half{Int}
 end
 
 # TODO: Use `Val` dispatch here?
@@ -32,7 +30,7 @@ quantum_dimension(::NonGroupCategory, i::Ising) = (category_label(i) == 1//2) ?
 label_fusion_rule(::Type{Ising}, l1, l2) = label_fusion_rule(su2{2}, l1, l2)
 
 # TODO: Use `Val` dispatch here?
-label_to_str(i::Ising) = ("1", "σ", "ψ")[HalfIntegers.twice(category_label(i)) + 1]
+label_to_str(i::Ising) = ("1", "σ", "ψ")[twice(category_label(i)) + 1]
 
 function Base.show(io::IO, f::Ising)
   return print(io, "Ising(", label_to_str(f), ")")

NDTensors/src/lib/Sectors/src/category_definitions/o2.jl

@@ -14,7 +14,7 @@
 # - l=-1 for zero odd
 # - l=+|m| for Sz=±|m|
 struct O2 <: AbstractCategory
-  l::HalfIntegers.Half{Int}
+  l::Half{Int}
 end
 
 SymmetryStyle(::O2) = NonAbelianGroup()
@@ -28,9 +28,9 @@ _iszero(s::O2) = _iszero(category_label(s))  # matches both 0e and 0o
 _iszero_even(s::O2) = _iszero_even(category_label(s))
 _iszero_odd(s::O2) = _iszero_odd(category_label(s))
 
-_iszero(l::HalfIntegers.HalfInteger) = _iszero_even(l) || _iszero_odd(l)
-_iszero_even(l::HalfIntegers.HalfInteger) = l == category_label(trivial(O2))
-_iszero_odd(l::HalfIntegers.HalfInteger) = l == category_label(zero_odd(O2))
+_iszero(l::HalfInteger) = _iszero_even(l) || _iszero_odd(l)
+_iszero_even(l::HalfInteger) = l == category_label(trivial(O2))
+_iszero_odd(l::HalfInteger) = l == category_label(zero_odd(O2))
 
 quantum_dimension(::NonAbelianGroup, s::O2) = 2 - _iszero(s)
 

NDTensors/src/lib/Sectors/src/category_definitions/su.jl

@@ -95,15 +95,15 @@ function label_fusion_rule(::Type{<:SU{2}}, s1, s2)
 end
 
 # define angular momentum-like interface using half-integers
-SU2(h::Number) = SU{2}((HalfIntegers.twice(HalfIntegers.HalfInteger(h)),))
+SU2(h::Number) = SU{2}((twice(HalfInteger(h)),))
 
 # display SU2 using half-integers
 function Base.show(io::IO, s::SU{2})
-  return print(io, "SU(2)[S=", HalfIntegers.half(quantum_dimension(s) - 1), "]")
+  return print(io, "SU(2)[S=", half(quantum_dimension(s) - 1), "]")
 end
 
 function Base.show(io::IO, ::MIME"text/plain", s::SU{2})
-  return print(io, "S = ", HalfIntegers.half(quantum_dimension(s) - 1))
+  return print(io, "S = ", half(quantum_dimension(s) - 1))
 end
 
 #

NDTensors/src/lib/Sectors/src/category_definitions/su2k.jl

@@ -3,7 +3,7 @@
 #
 
 struct su2{k} <: AbstractCategory
-  j::HalfIntegers.Half{Int}
+  j::Half{Int}
 end
 
 SymmetryStyle(::su2) = NonGroupCategory()