test Limit

doc/Doc.autodoc

@@ -46,6 +46,9 @@
 @Subsection Pushout
 @InsertChunk Pushout
 
+@Subsection Limit
+@InsertChunk Limit
+
 @Subsection Cartesian Lambda Introduction
 @InsertChunk CartesianLambdaIntroduction
 
@@ -112,6 +115,9 @@
 @Subsection Skeletal Pushout
 @InsertChunk SkeletalPushout
 
+@Subsection Skeletal Limit
+@InsertChunk SkeletalLimit
+
 @Subsection Skeletal Cartesian Lambda Introduction
 @InsertChunk SkeletalCartesianLambdaIntroduction
 

examples/Limit.g

@@ -0,0 +1,18 @@
+#! @Chunk Limit
+
+LoadPackage( "FinSetsForCAP" );
+
+#! @Example
+m := FinSet( [ 1 .. 3 ] );
+#! <An object in FinSets>
+f := MapOfFinSets( m, [ [ 1, 3 ], [ 2, 2 ], [ 3, 1 ] ], m );
+#! <A morphism in FinSets>
+l := Limit( [ m ], [ [ 1, f, 1 ] ] );
+#! <An object in FinSets>
+Display( l );
+#! [ [ 2 ] ]
+e := ProjectionInFactorOfLimit( [ m ], [ [ 1, f, 1 ] ], 1 );
+#! <A morphism in FinSets>
+Display( e );
+#! [ [ [ 2 ] ], [ [ [ 2 ], 2 ] ], [ 1 .. 3 ] ]
+#! @EndExample

examples/SkeletalLimit.g

@@ -0,0 +1,18 @@
+#! @Chunk SkeletalLimit
+
+LoadPackage( "FinSetsForCAP" );
+
+#! @Example
+m := FinSet( 3 );
+#! <An object in SkeletalFinSets>
+f := MapOfFinSets( m, [ 3, 2, 1 ], m );
+#! <A morphism in SkeletalFinSets>
+l := Limit( [ m ], [ [ 1, f, 1 ] ] );
+#! <An object in SkeletalFinSets>
+Display( l );
+#! 1
+e := ProjectionInFactorOfLimit( [ m ], [ [ 1, f, 1 ] ], 1 );
+#! <A morphism in SkeletalFinSets>
+Display( e );
+#! [ 1, [ 2 ], 3 ]
+#! @EndExample