test TruthMorphismOfOr

needs Toposes v2020.11-09

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-08",
+Version := "2020.11-09",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
@@ -100,7 +100,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2021.05-02" ],
-                   [ "Toposes", ">= 2021.11-08" ],
+                   [ "Toposes", ">= 2021.11-09" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

examples/SubobjectClassifier.g

@@ -22,10 +22,15 @@ Display( TruthMorphismOfAnd( FinSets ) );
 #!   [ [ [ "false", "false" ], "false" ], [ [ "false", "true" ], "false" ],
 #!     [ [ "true", "false" ], "false" ], [ [ "true", "true" ], "true" ] ],
 #!   [ "true", "false" ] ]
+Display( TruthMorphismOfOr( FinSets ) );
+#! [ [ [ "true", "true" ], [ "true", "false" ],
+#!     [ "false", "true" ], [ "false", "false" ] ],
+#!   [ [ [ "false", "false" ], "false" ], [ [ "false", "true" ], "true" ],
+#!    [ [ "true", "false" ], "true" ], [ [ "true", "true" ], "true" ] ],
+#!   [ "true", "false" ] ]
 m := MapOfFinSets( A, List( AsList( A ), x -> [ x, x ] ), S );
 #! <A morphism in FinSets>
 Display( ClassifyingMorphismOfSubobject( m ) );
 #! [ [ 1, 2, 3, 4, 5 ], [ [ 1, "true" ], [ 2, "false" ], [ 3, "false" ],
 #! [ 4, "false" ], [ 5, "true" ] ], [ "true", "false" ] ]
-
 #! @EndExample