simplified EmbeddingOfFinSets

Author: mohamed-barakat

examples/SkeletalFiberProduct.g

@@ -10,13 +10,13 @@ n1 := FinSet( 3 );
 iota1 := EmbeddingOfFinSets( n1, m );
 #! <A monomorphism in SkeletalFinSets>
 Display( iota1 );
-#! [ 3, [ 1, 2, 3 ], 5 ]
+#! [ 3, [ 1 .. 3 ], 5 ]
 n2 := FinSet( 4 );
 #! <An object in SkeletalFinSets>
 iota2 := EmbeddingOfFinSets( n2, m );
 #! <A monomorphism in SkeletalFinSets>
 Display( iota2 );
-#! [ 4, [ 1, 2, 3, 4 ], 5 ]
+#! [ 4, [ 1 .. 4 ], 5 ]
 D := [ iota1, iota2 ];
 #! [ <A monomorphism in SkeletalFinSets>, <A monomorphism in SkeletalFinSets> ]
 Fib := FiberProduct( D );

examples/SkeletalPushout.g

@@ -10,13 +10,13 @@ N1 := FinSet( 3 );
 iota1 := EmbeddingOfFinSets( N1, M );
 #! <A monomorphism in SkeletalFinSets>
 Display( iota1 );
-#! [ 3, [ 1, 2, 3 ], 5 ]
+#! [ 3, [ 1 .. 3 ], 5 ]
 N2 := FinSet( 2 );
 #! <An object in SkeletalFinSets>
 iota2 := EmbeddingOfFinSets( N2, M );
 #! <A monomorphism in SkeletalFinSets>
 Display( iota2 );
-#! [ 2, [ 1, 2 ], 5 ]
+#! [ 2, [ 1 .. 2 ], 5 ]
 D := [ iota1, iota2 ];
 #! [ <A monomorphism in SkeletalFinSets>, <A monomorphism in SkeletalFinSets> ]
 Fib := FiberProduct( D );

gap/SkeletalFinSetsForCAP.gi

@@ -104,7 +104,7 @@ InstallMethod( EmbeddingOfFinSets,
   function ( s, t )
     local iota;
 
-    iota := MapOfFinSets( s, List( s, x -> x ), t );
+    iota := MapOfFinSets( s, AsList( s ), t );
 
     Assert( 3, IsMonomorphism( iota ) );
     SetIsMonomorphism( iota, true );