diff --git a/src/TensorKit.jl b/src/TensorKit.jl index 281b5509..8dee9e32 100644 --- a/src/TensorKit.jl +++ b/src/TensorKit.jl @@ -37,7 +37,7 @@ export infimum, supremum, isisomorphic, ismonomorphic, isepimorphic # methods for sectors and properties thereof export sectortype, sectors, hassector, Nsymbol, Fsymbol, Rsymbol, Bsymbol, - frobeniusschur, twist + frobeniusschur, twist, otimes export fusiontrees, braid, permute, transpose export ZNSpace, SU2Irrep, U1Irrep, CU1Irrep # other fusion tree manipulations, should not be exported: diff --git a/src/sectors/sectors.jl b/src/sectors/sectors.jl index 132e728f..bfb83312 100644 --- a/src/sectors/sectors.jl +++ b/src/sectors/sectors.jl @@ -119,7 +119,8 @@ Base.isless(::Trivial, ::Trivial) = false # FusionStyle: the most important aspect of Sector #--------------------------------------------- """ - ⊗(a::I, b::I) where {I<:Sector} + ⊗(a::I, b::I...) where {I<:Sector} + otimes(a::I, b::I...) where {I<:Sector} Return an iterable of elements of `c::I` that appear in the fusion product `a ⊗ b`. @@ -128,6 +129,7 @@ Note that every element `c` should appear at most once, fusion degeneracies (if """ ⊗(::Trivial, ::Trivial) = (Trivial(),) ⊗(I::Sector) = (I,) +const otimes = ⊗ """ Nsymbol(a::I, b::I, c::I) where {I<:Sector} -> Integer