assert issorted

Author: ogauthe

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

@@ -265,6 +265,9 @@ function categories_trivial(type::Type{<:NamedTuple{Keys}}) where {Keys}
 end
 
 function categories_common(nt1::NamedTuple, nt2::NamedTuple)
+  # CategoryProduct(nt::NamedTuple) sorts keys at init
+  @assert issorted(keys(nt1))
+  @assert issorted(keys(nt2))
   return intersect_keys(nt1, nt2), intersect_keys(nt2, nt1)
 end
 

NDTensors/src/lib/Sectors/test/test_category_product.jl

@@ -294,6 +294,7 @@ end
       typeof(categories(s)), Tuple(categories(s))
     )) == s
     @test (@inferred recover_category_product_type(typeof(s), Tuple(categories(s)))) == s
+    @test s == (B=SU2(2),) × (A=U1(1),)
 
     s = s × (C=Ising("ψ"),)
     @test length(categories(s)) == 3