|
3 | 3 |
|
4 | 4 | Abstract type for representing the (isomorphism classes of) simple objects in (unitary |
5 | 5 | and pivotal) (pre-)fusion categories, e.g. the irreducible representations of a finite or |
6 | | -compact group. Subtypes `I<:Sector` as the set of labels of a `GradedSpace`. |
| 6 | +compact group. Subtypes `I <: Sector` as the set of labels of a `GradedSpace`. |
7 | 7 |
|
8 | | -Every new `I<:Sector` should implement the following methods: |
| 8 | +Every new `I <: Sector` should implement the following methods: |
9 | 9 | * `unit(::Type{I})`: unit element of `I`. If there are multiple, implement `allunits(::Type{I})` |
10 | 10 | instead. |
11 | 11 | * `dual(a::I)`: ``a̅``, conjugate or dual label of ``a`` |
@@ -41,7 +41,7 @@ abstract type Sector end |
41 | 41 | # iterator over the values (i.e., elements of representative set of simple objects) |
42 | 42 | # in the sector |
43 | 43 | """ |
44 | | - struct SectorValues{I<:Sector} |
| 44 | + struct SectorValues{I <: Sector} |
45 | 45 |
|
46 | 46 | Singleton type to represent an iterator over the possible values of type `I`, whose |
47 | 47 | instance is obtained as `values(I)`. For a new `I::Sector`, the following should be defined |
@@ -184,8 +184,8 @@ Base.isreal(I::Type{<:Sector}) = sectorscalartype(I) <: Real |
184 | 184 | # FusionStyle: the most important aspect of Sector |
185 | 185 | #--------------------------------------------- |
186 | 186 | """ |
187 | | - ⊗(a::I, b::I...) where {I<:Sector} |
188 | | - otimes(a::I, b::I...) where {I<:Sector} |
| 187 | + ⊗(a::I, b::I...) where {I <: Sector} |
| 188 | + otimes(a::I, b::I...) where {I <: Sector} |
189 | 189 |
|
190 | 190 | Return an iterable of elements of `c::I` that appear in the fusion product `a ⊗ b`. |
191 | 191 |
|
@@ -263,7 +263,7 @@ function Base.show(io::IO, mime::MIME"text/plain", ab::SectorProductIterator) |
263 | 263 | end |
264 | 264 |
|
265 | 265 | """ |
266 | | - Nsymbol(a::I, b::I, c::I) where {I<:Sector} -> Integer |
| 266 | + Nsymbol(a::I, b::I, c::I) where {I <: Sector} -> Integer |
267 | 267 |
|
268 | 268 | Return an `Integer` representing the number of times `c` appears in the fusion product |
269 | 269 | `a ⊗ b`. Could be a `Bool` if `FusionStyle(I) == UniqueFusion()` or `SimpleFusion()`. |
|
0 commit comments