Update printing and @objectnames

src/CategoryData.jl

@@ -13,9 +13,9 @@ using SparseArrayKit
 
 export FusionRing, FusionCategory, BraidedCategory
 export FR, UFC, PMFC
-export RepA4, E6
+export RepA4, E6, Fib, Ising
 export Object
-export multiplicity, rank
+export multiplicity, rank, algebraic_structure, selfduality
 
 include("categories.jl")
 include("objects.jl")

src/aliases.jl

@@ -13,6 +13,6 @@ const Z6 = PMFC{6,1,4,1,0,0}
 const H2 = UFC{6,1,2,8,2}
 const H3 = UFC{6,1,2,8,3}
 
-@objectnames Fib = UFC{2,1,0,2,0} I τ
+@objectnames Fib = PMFC{2,1,0,2,0,0} I τ
 @objectnames Ising = PMFC{3,1,0,1,1,3} I σ ψ
 @objectnames H1 = UFC{4,2,0,1,0} I μ η ν

src/objects.jl

@@ -6,6 +6,10 @@ struct Object{F} <: Sector where {F<:FusionRing}
     end
 end
 
+function algebraic_structure(::Union{Type{Object{F}}, Object{F}}) where {F}
+    return F
+end
+
 Base.isless(a::Object{F}, b::Object{F}) where {F} = isless(a.id, b.id)
 Base.hash(a::Object{F}, h::UInt) where {F} = hash(a.id, h)
 Base.convert(::Type{F}, d::Integer) where {F<:Object} = F(d)

src/prettyprinting.jl

@@ -19,7 +19,7 @@ end
 """
     macro objectnames(category, names)
 
-Defines a category name and its objects, along with an export statement.
+Defines a category name and its objects, along with pretty printing functionality.
 
 # Examples
 
@@ -31,9 +31,24 @@ macro objectnames(categoryname, names...)
     if Meta.isexpr(categoryname, :(=), 2)
         name = categoryname.args[1]
         category = categoryname.args[2]
-        constex = quote
-            const $name = $category
-            export $name
+        name_str = string(name)
+        constex = if __module__ == CategoryData
+            quote
+                const $name = $category
+                function Base.show(io::IO, ::MIME"text/plain", ::Type{$name})
+                    return print(io, $name_str)
+                end
+            end
+        else
+            quote
+                const $name = $category
+                function Base.show(io::IO, ::Type{$name})
+                    return print(io, $name_str)
+                end
+                function Base.show(io::IO, ::MIME"text/plain", ::Type{$name})
+                    return print(io, $name_str)
+                end
+            end
         end
     else
         name = categoryname
@@ -45,7 +60,7 @@ macro objectnames(categoryname, names...)
         $constex
         function Object{$name}(a::Symbol)
             id = findfirst(==(a), $names)
-            isnothing(id) && throw(ArgumentError("Unknown $(string($name)) object $a."))
+            isnothing(id) && throw(ArgumentError("Unknown $($name_str) object $a."))
             return Object{$name}(id)
         end