used TrivialAlgebroid/TrivialCategory in POW

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-06", ## Mohamed's version
+                   "2020.10-07", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.09-08", ## Kamal's version
                    ## this line prevents merge conflicts

gap/Algebroids.gi

@@ -1279,7 +1279,7 @@ InstallMethod( POW,
         [ IsAlgebroid and HasUnderlyingQuiverAlgebra, IsInt ],
 
   function( A, n )
-    local Rq, R, trivial_quiver;
+    local Rq, R, parity;
 
     if n < 0 then
         Error( "the only admissible values for n are non-negative integers\n" );
@@ -1298,12 +1298,12 @@ InstallMethod( POW,
         if not IsBound( A!.powers.0 ) then
 
             if IsRightQuiverAlgebra( Rq ) then
-                trivial_quiver := RightQuiver( "*(1)[]" );
+                parity := "right";
             else
-                trivial_quiver := LeftQuiver( "*(1)[]" );
+                parity := "left";
             fi;
 
-            A!.powers.0 := Algebroid( PathAlgebra( R, trivial_quiver ) );
+            A!.powers.0 := TrivialAlgebroid( R, parity );
 
         fi;
 

gap/FpCategories.gi

@@ -662,7 +662,7 @@ InstallMethod( POW,
         [ IsFpCategory and HasUnderlyingQuiverAlgebra, IsInt ],
 
   function( C, n )
-    local Qq, R, trivial_quiver;
+    local Qq, R, parity;
 
     if n < 0 then
         Error( "the only admissible values for n are non-negative integers\n" );
@@ -681,12 +681,12 @@ InstallMethod( POW,
         if not IsBound( C!.powers.0 ) then
 
             if IsRightQuiverAlgebra( Qq ) then
-                trivial_quiver := RightQuiver( "*(1)[]" );
+                parity := "right";
             else
-                trivial_quiver := LeftQuiver( "*(1)[]" );
+                parity := "left";
             fi;
 
-            C!.powers.0 := Category( PathAlgebra( R, trivial_quiver ) );
+            C!.powers.0 := TrivialCategory( parity );
 
         fi;