Merge pull request #21 from homalg-project/adjustments

PackageInfo.g

@@ -17,7 +17,7 @@ Version := Maximum( [
                    ## this line prevents merge conflicts
                    "2020.01-01", ## Peter's version
                    ## this line prevents merge conflicts
-                   "2021.07-01", ## Fabian's version
+                   "2021.07-02", ## Fabian's version
                    ] ),
 
 Date := ~.Version{[ 1 .. 10 ]},
@@ -109,6 +109,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2021.06-01" ],
+                   [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],
                    [ "CategoryConstructor", ">= 2020.06-01" ],
                    [ "SubcategoriesForCAP", ">= 2020.06-01" ],

examples/CategoryOfRepresentations.g

@@ -5,13 +5,13 @@ LoadPackage( "CatReps" );
 #! @Example
 c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
-c3c3 := AsFpCategory( c3c3 );
+AsFpCategory( c3c3 );
 #! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
-UnderlyingQuiverAlgebra( c3c3 );
+UnderlyingQuiverAlgebra( AsFpCategory( c3c3 ) );
 #! (Q * q) / [ 1*(a*a*a) - 1*(1), 1*(c*c*c) - 1*(2), 1*(b*c) - 1*(a*b) ]
 #! @EndExample
 
-#! A representation of the category c3c3 is another way to encode
+#! A representation of the category AsFpCategory( c3c3 ) is another way to encode
 #! a module homomorphism between two modules over the cyclic group $C_3$ of order $3$:
 #! The vector space underlying the first module is the given by the value of (1).
 #! The action of $C_3$ on the first module is given by the value of (a).

examples/DecomposeOnceByRandomEndomorphism.g

@@ -5,7 +5,7 @@ LoadPackage( "CatReps" );
 #! @BeginExample
 c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
-c3c3 := AsFpCategory( c3c3 );
+AsFpCategory( c3c3 );
 #! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
 GF3 := HomalgRingOfIntegers( 3 );
 #! GF(3)

examples/RepresentingC4C4.g

@@ -8,9 +8,9 @@ LoadPackage( "CatReps" );
 #! @Example
 c4c4 := ConcreteCategoryForCAP( [ [2,3,4,1], [5,6,7,8], [,,,,6,7,8,5] ] );
 #! A finite concrete category
-c4c4 := AsFpCategory( c4c4 );
+AsFpCategory( c4c4 );
 #! Category generated by the right quiver q(2)[a:1->1,b:1->2,c:2->2] with relations
-UnderlyingQuiverAlgebra( c4c4 );
+UnderlyingQuiverAlgebra( AsFpCategory( c4c4 ) );
 #! (Q * q) / [ 1*(a*a*a*a) - 1*(1), 1*(c*c*c*c) - 1*(2), 1*(b*c) - 1*(a*b) ]
 GF3 := HomalgRingOfIntegers( 3 );
 #! GF(3)

gap/CatRepsWithCAP.gi

@@ -252,7 +252,7 @@ InstallMethodWithCache( Algebroid,
 
   function( k, C )
 
-    return Algebroid( k, AsFpCategory( C ) );
+    return Algebroid( k, AsFpCategory( C ) : range_of_HomStructure := MatrixCategory( k ) );
 
 end );