code can now deal with sparse matrices as well

homalg-project · Sep 17, 2020 · afce00b · afce00b
1 parent 3a1d374
commit afce00b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.05.18", ## Mohamed's version
+                   "2020.05.19", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -7,8 +7,6 @@ c3c3 := ConcreteCategoryForCAP( [ [2,3,1], [4,5,6], [,,,5,6,4] ] );
 #! A finite concrete category
 qc3c3 := RightQuiverFromConcreteCategory( c3c3 );
 #! q(2)[a:1->1,b:1->2,c:2->2]
-HOMALG_MATRICES.PreferDenseMatrices := true;
-#! true
 GF3 := HomalgRingOfIntegers( 3 );
 #! GF(3)
 kq := Algebroid( GF3, c3c3 );

diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
@@ -278,8 +278,8 @@ InstallMethod( RecordOfCatRep,
   function( F )
 
     return rec( category := RecordOfCategory( Source( CapCategory( F ) ) ),               
-                genimages := List( ValuesOnAllGeneratingMorphisms( F ), 
-					a -> Eval( UnderlyingMatrix( a ) )!.matrix ),
+                genimages := List( ValuesOnAllGeneratingMorphisms( F ),
+                                    a -> EntriesOfHomalgMatrixAsListList( UnderlyingMatrix( a ) ) ),
                 dimension := List( ValuesOnAllObjects( F ), Dimension ),
                 field := CommutativeRingOfLinearCategory( 
 					Source( CapCategory( F ) ) )!.ring