Identify all PMFCs below rank 5

Project.toml

@@ -1,11 +1,12 @@
 name = "CategoryData"
 uuid = "8fccf25a-f50e-468c-8fba-3cb130506274"
-authors = ["Lukas Devos", "Jacob Bridgeman"]
 version = "0.3.5"
+authors = ["Lukas Devos", "Jacob Bridgeman"]
 
 [deps]
 Downloads = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
 Inflate = "d25df0c9-e2be-5dd7-82c8-3ad0b3e990b9"
+LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 SHA = "ea8e919c-243c-51af-8825-aaa63cd721ce"
 SparseArrayKit = "a9a3c162-d163-4c15-8926-b8794fbefed2"
@@ -15,21 +16,21 @@ TensorKitSectors = "13a9c161-d5da-41f0-bcbd-e1a08ae0647f"
 [compat]
 Downloads = "1"
 Inflate = "0.1"
+LinearAlgebra = "1.12.0"
 Pkg = "1"
 SHA = "0.7, 1"
 SparseArrayKit = "0.4"
 Tar = "1"
-TensorOperations = "5"
 TensorKitSectors = "0.3"
+TensorOperations = "5"
 TestExtras = "0.3"
 julia = "1.10"
 
 [extras]
-LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
+TensorOperations = "6aa20fa7-93e2-5fca-9bc0-fbd0db3c71a2"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 TestExtras = "5ed8adda-3752-4e41-b88a-e8b09835ee3a"
-TensorOperations = "6aa20fa7-93e2-5fca-9bc0-fbd0db3c71a2"
 
 [targets]
 test = ["Test", "TestExtras", "LinearAlgebra", "Random", "TensorOperations"]

src/CategoryData.jl

@@ -8,14 +8,59 @@ using Tar, Inflate, SHA
 using TensorKitSectors
 using TensorKitSectors: SectorValues
 using TensorKitSectors: SimpleFusion, GenericFusion, Anyonic, NoBraiding
+using LinearAlgebra
 
 using SparseArrayKit
 
 export FusionRing, FusionCategory, BraidedCategory
 export FR, UFC, PMFC
-export RepA4, E6, Fib, Ising, H1, H2, H3, ZVecS3, ZVecD4
+
+# ------ Fusion ring export ------
+# ------ rank 2 -------
+export Z2group, Fibring
+# ------ rank 3 -------
+export Isingring, RepS3ring, PSU2_5ring, Z3group
+# ------ rank 4 -------
+export Z2xZ2group, FibxZ2ring, RepD5ring, PSU2_6ring, FibxFibring, PSU2_7ring, Z4group, TYZ3ring, H1ring
+# ------ rank 5 -------
+export TYZ2xZ2ring, SU2_4ring, RepD7ring, RepS4ring, PSU2_8ring, TYZ4ring, Z5ring, PSU2_9ring
+
+# ------ (super) Tannakian category export ------
+export Z2, Z3, Z4, Z5, Z6, Z2xZ2, RepD3, RepD4, RepD5, RepD6, RepD7, RepD9, RepA4, RepS4, RepD3xZ2, sVec, sVecxZ2, sRepZ4, sRepD6, sVecxRepD3, sVecxZ3
+
+# ------ Fusion category export ------
+# ------ rank 2 -------
+export VecZ2, VecZ2ω, Fibfusion
+# ------ rank 3 -------
+export RepS3fusion, VecZ3, VecZ3ω_1, VecZ3ω_2, PSU2_5fusion, Isingϰfusion, Isingfusion
+# ------ rank 4 -------
+export VecZ2xZ2, VecZ2ωxVecZ2ω, FibxVecZ2, FibxVecZ2ω, RepD5fusion, PSU2_6fusion, FibxFibfusion, PSU2_7fusion, VecZ4, VecZ4ω1, VecZ4ω2, VecZ4ω3, TYZ3_1, TYZ3_1ϰ, TYZ3_2, TYZ3_2ϰ
+# ------ rank 5 -------
+export SU2_4fusion, JK4fusion, RepD7fusion, RepS4fusion, PSU2_8fusion, PSU2_9fusion, TYZ4_1, TYZ4_1ϰ, TYZ4_3, TYZ4_3ϰ, VecZ5, VecZ5ω1, VecZ5ω2, PSU2_9fusion, RepD4fusion, RepQ8fusion, RepH8, TYℤ₂xℤ₂anomalous
+
+# ------ Braided category export ------
+# ------ rank 2 -------
+export Fib, Fib⁻, Semion, Semion⁻
+# ------ rank 3 -------
+export Z3MTC, Z3MTC⁻, Ising, Ising⁻, Ising3, Ising3⁻, Ising5, Ising5⁻, Ising7, Ising7⁻, PSU2_4, PSU2_4⁻, PSU2_5, PSU2_5⁻
+# ------ rank 4 -------
+export ToricCode, SemionxSemion, ZSemion, sVecxSemion, U1_4, U1_4⁻, Kitaev16_6, Kitaev16_6⁻, SemionxZ2_twist, SemionxZ2_twist⁻
+export SemionxFib, Semion⁻xFib, SemionxFib⁻, Semion⁻xFib⁻, FibxZ2, Fib⁻xZ2, sVecxFib, sVecxFib⁻, Fib⁻xFib⁻, ZFib, PSU2_6, PSU2_7, PSU2_7⁻, Z5MTC_0ᴳZ2, Z5MTC_4ᴳZ2
+# ------ rank 5 -------
+export Z5MTC_0, Z5MTC_4, SU2_4, JK4⁻, PSU2_8, PSU2_8⁻, PSU2_9, PSU2_9⁻, U1_4ᴳ¹Z2, U1_4ᴳ¹Z2⁻, SemionxSemionᴳZ2, SemionxSemionᴳZ2⁻
+export Kitaev16_6ᴳ¹Z2⁻, U1_4ᴳ²Z2⁻, ToricCodeᴳZ2, Kitaev16_8ᴳZ2, Kitaev16_6ᴳ²Z2, Kitaev16_6ᴳ²Z2⁻, SemionᴳZ2xZ2, Z7MTCᴳZ2, Kitaev16_8ᴳS3
+# ------ rank 6 -------
+export PSU2_10, PSU2_10⁻, PSU2_11, PSU2_11⁻, FibxPSU2_5⁻, FibxPSU2_5, Fib⁻xPSU2_5⁻, Fib⁻xPSU2_5, SemionxIsing5, SemionxIsing, Fib⁻xIsing7⁻
+export FibxIsing7⁻, Fib⁻xIsing, FibxIsing, FibxIsing7, Fib⁻xIsing7, FibxIsing⁻, Fib⁻xIsing⁻, Fib⁻xIsing3⁻, FibxIsing3⁻, FibxIsing5⁻, Fib⁻xIsing5⁻, Fib⁻xIsing3
+export FibxIsing3, FibxIsing5, Fib⁻xIsing5, Semion⁻xPSU2_5, SemionxPSU2_5, SemionxPSU2_5⁻, Semion⁻xPSU2_5⁻, Z5MTC_0ᴳZ2_Mex1, Z5MTC_0ᴳZ2_Mex2
+export Z5MTC_4ᴳZ2_Mex1, Z5MTC_4ᴳZ2_Mex2, Semion⁻xZ3MTC, Semion⁻xZ3MTC⁻, SemionxZ3MTC, SemionxZ3MTC⁻, FibxZ3MTC⁻, FibxZ3MTC, Fib⁻xZ3MTC⁻, Fib⁻xZ3MTC
+
+
+# ------ Exceptional examples ------
+export E6, H1, H2, H3, ZVecS3, ZVecD4
+
 export Object
-export multiplicity, rank, algebraic_structure, selfduality
+export multiplicity, rank, algebraic_structure, selfduality, FPdim
 export S, D, Ƶ
 export @objectnames