sync

src/CategoryFramework/Fallbacks.jl

@@ -202,7 +202,10 @@ Base.length(H::AbstractHomSpace) = int_dim(H)
 Base.eltype(H::Type{T}) where T <: AbstractHomSpace = fieldtype(H, :basis).parameters[1] 
 
 
-function (F::Ring)(f::Morphism)
+(R::Ring)(f::Morphism) = morphism_to_scalar(R,f)
+(R::QQBarField)(f::Morphism) = morphism_to_scalar(R,f)
+
+function morphism_to_scalar(R::Ring, f::Morphism)  
     B = basis(Hom(domain(f), codomain(f)))
     if length(B) == 0 
         return 0

src/TensorCategories.jl

@@ -33,7 +33,7 @@ import Oscar: +, @alias, @attributes, AbstractSet, AcbField, StructureConstantAl
     number_of_rows, number_of_columns, is_squarefree, is_commutative,
     gens, center, graph_from_adjacency_matrix, connected_components, weakly_connected_components, Directed, Undirected, morphism, algebra,
     radical, is_zero, minimal_submodules, representation_matrix, QQBarField,
-    is_irreducible, polynomial, is_univariate, action, is_equivalent, extension_of_scalars, free_module, perm, fraction_field
+    is_irreducible, polynomial, is_univariate, action, is_equivalent, extension_of_scalars, free_module, perm, fraction_field, simplify
 
 using Serialization
 import Oscar: @register_serialization_type,

src/TensorCategoryFramework/FusionCategory.jl

@@ -1025,6 +1025,12 @@ function extension_of_scalars(m::SixJMorphism, L::Field)
     end
 end
 
+
+
+function simplify(C::SixJCategory)
+    K = base_ring(C)
+end
+
 #=----------------------------------------------------------
     Reverse braided  
 ----------------------------------------------------------=#

src/TensorCategoryFramework/Skeletization.jl

@@ -128,6 +128,9 @@ function six_j_symbols(C::Category, S = simples(C))
     return ass           
 end
 
+function skeletal_spherical(C::Category, Homs)
+end
+
 function skeletal_braiding(C::Category, S = simples(C))
     @assert is_braided(C)