use VertexIndex instead of adhoc code

homalg-project · Apr 3, 2020 · 97a193d · 97a193d
1 parent 6a99b8d
commit 97a193d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi
@@ -121,8 +121,8 @@ InstallMethod( RecordOfCategory,
 
   function( kq )
 
-    return rec( domain := List( SetOfGeneratingMorphisms( kq ), a -> Int( String( UnderlyingVertex( Source( a ) ) ) ) ),
-                codomain := List( SetOfGeneratingMorphisms( kq ), a -> Int( String( UnderlyingVertex( Range( a ) ) ) ) ),
+    return rec( domain := List( SetOfGeneratingMorphisms( kq ), a -> VertexIndex( UnderlyingVertex( Source( a ) ) ) ),
+                codomain := List( SetOfGeneratingMorphisms( kq ), a -> VertexIndex( UnderlyingVertex( Range( a ) ) ) ),
                 );
 
 end );
@@ -159,8 +159,8 @@ InstallMethod( EmbeddingOfSubRepresentation,
     morphisms := List(
                       SetOfGeneratingMorphisms( kq ),
                       m ->
-                      LiftAlongMonomorphism( eta[Int( String( UnderlyingVertex( Range( m ) ) ) )],
-                              PreCompose( eta[Int( String( UnderlyingVertex( Source( m ) ) ) )], F( m ) ) ) );
+                      LiftAlongMonomorphism( eta[VertexIndex( UnderlyingVertex( Range( m ) ) )],
+                              PreCompose( eta[VertexIndex( UnderlyingVertex( Source( m ) ) )], F( m ) ) ) );
 
     subrep := AsObjectInHomCategory( kq, objects, morphisms );