From 97a193d7b69de63d9b47b9df883d751db6045355 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Fri, 3 Apr 2020 15:58:57 +0200 Subject: [PATCH] use VertexIndex instead of adhoc code --- gap/CatRepsWithCAP.gi | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gap/CatRepsWithCAP.gi b/gap/CatRepsWithCAP.gi index 43be698..0f6f40e 100644 --- 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 );