the constructor Category now computes a GB of the ideal of relations

Author: mohamed-barakat

PackageInfo.g

@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "Algebroids",
 Subtitle := "Algebroids and bialgebroids as preadditive categories generated by enhanced quivers",
 Version := Maximum( [
-                   "2020.10-09", ## Mohamed's version
+                   "2020.10-10", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.09-08", ## Kamal's version
                    ## this line prevents merge conflicts

gap/FpCategories.gi

@@ -396,7 +396,7 @@ InstallMethod( Category,
         [ IsPathAlgebra, IsList ],
 
   function( Qq, L )
-    local relations;
+    local relations, A;
 
     if not ( IsList( L ) and
              ForAll( L, IsList ) and
@@ -409,7 +409,11 @@ InstallMethod( Category,
 
     relations := List( L, a -> PathAsAlgebraElement( Qq, a[1] ) - PathAsAlgebraElement( Qq, a[2] ) );
 
-    return Category( Qq / Ideal( Qq, relations ) : relations := L );
+    A := Qq / Ideal( Qq, relations );
+    
+    A := Qq / GroebnerBasis( IdealOfQuotient( A ) );
+    
+    return Category( A : relations := L );
 
 end );