From 031603f9504853da6b6e8c961ba26858faa7880b Mon Sep 17 00:00:00 2001
From: Fabian Zickgraf <f.zickgraf@dashdos.com>
Date: Tue, 20 Jul 2021 15:03:55 +0200
Subject: [PATCH] Adjust to
 https://github.com/homalg-project/Algebroids/pull/72

---
 PackageInfo.g                                | 3 ++-
 examples/CategoryOfRepresentations.g         | 6 +++---
 examples/DecomposeOnceByRandomEndomorphism.g | 2 +-
 examples/RepresentingC4C4.g                  | 4 ++--
 gap/CatRepsWithCAP.gi                        | 2 +-
 5 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 22cec56..749d195 100644
--- a/PackageInfo.g
+++ b/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" ],
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 0b6eaa1..29ea489 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/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).
diff --git a/examples/DecomposeOnceByRandomEndomorphism.g b/examples/DecomposeOnceByRandomEndomorphism.g
index a95560d..b8e7392 100644
--- a/examples/DecomposeOnceByRandomEndomorphism.g
+++ b/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)
diff --git a/examples/RepresentingC4C4.g b/examples/RepresentingC4C4.g
index af83926..a2aac58 100644
--- a/examples/RepresentingC4C4.g
+++ b/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)
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
index 87d314c..93cdaf6 100644
--- a/gap/CatRepsWithCAP.gi
+++ b/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 );