Merge pull request #237 from mohamed-barakat/devel

installed CategoryFromNerveData for IsCategoryFromDataTables

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "Algebroids",
 Subtitle := "Algebroids and bialgebroids as preadditive categories generated by enhanced quivers",
-Version := "2022.12-33",
+Version := "2022.12-34",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),

gap/CategoryFromDataTables.gi

@@ -465,12 +465,7 @@ InstallMethod( OppositeCategoryFromDataTables,
   function( C )
     local C_from_nerve, Cop, C_op;
 
-    C_from_nerve := CategoryFromNerveData(
-                            Name( C ),
-                            NerveTruncatedInDegree2Data( C ),
-                            IndicesOfGeneratingMorphisms( C ),
-                            RelationsAmongGeneratingMorphisms( C ),
-                            C!.labels );
+    C_from_nerve := CategoryFromNerveData( C );
 
     Cop := OppositeCategoryFromNerveData( C_from_nerve );
 

gap/CategoryFromNerveData.gi

@@ -494,6 +494,22 @@ InstallMethod( CategoryFromNerveData,
 
 end );
 
+##
+InstallOtherMethod( CategoryFromNerveData,
+        "for a category from data tables",
+        [ IsCategoryFromDataTables ],
+        
+  function( C )
+    
+    return CategoryFromNerveData(
+                   Name( C ),
+                   NerveTruncatedInDegree2Data( C ),
+                   IndicesOfGeneratingMorphisms( C ),
+                   RelationsAmongGeneratingMorphisms( C ),
+                   C!.labels );
+    
+end );
+
 ##
 InstallMethod( Size,
         "for a category from nerve data",