Merge pull request #301 from mohamed-barakat/devel

mohamed-barakat · web-flow · commit 5f13767562bc · 2026-06-02T11:47:20.000+02:00
comply with CartesianCategories v2026.06-01
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -98,9 +98,9 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
-                   [ "CAP", ">= 2023.12-05" ],
-                   [ "MonoidalCategories", ">= 2025.07-07" ],
-                   [ "CartesianCategories", ">= 2024.02-02" ],
+                   [ "CAP", ">= 2026.06-01" ],
+                   [ "MonoidalCategories", ">= 2026.06-01" ],
+                   [ "CartesianCategories", ">= 2026.06-01" ],
                    [ "Toposes", ">= 2024.03-04" ],
                    ],
   SuggestedOtherPackages := [ ],
diff --git a/tst/CartesianClosedOpposite.tst b/tst/CartesianClosedOpposite.tst
@@ -177,42 +177,43 @@ gap> BraidedCocartesianCategoriesTest( finsets, opposite_primitive, a, t );;
 #
 gap> a := FinSet( [ 1 .. 2 ] );;
 gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;
+gap> M := [ 3, 2, 4 ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := InitialObject( finsets );;
 gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet( [ 1 .. 2 ] );;
 gap> L := [ FinSet( [ 2 .. 5 ] ), InitialObject( finsets ), FinSet( [ 3 .. 8 ] ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := TerminalObject( finsets );;
 gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet( [ 1 .. 2 ] );;
 gap> L := [ FinSet( [ 2 .. 5 ] ), TerminalObject( finsets ), FinSet( [ 3 .. 8 ] ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 ##############################################
diff --git a/tst/Skeletal1CartesianClosedOpposite.tst b/tst/Skeletal1CartesianClosedOpposite.tst
@@ -177,42 +177,43 @@ gap> BraidedCocartesianCategoriesTest( finsets, opposite_primitive, a, t );;
 #
 gap> a := FinSet1( 2 );;
 gap> L := [ FinSet1( 4 ), FinSet1( 2 ), FinSet1( 6 ) ];;
+gap> M := [ 3, 2, 4 ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := InitialObject( finsets );;
 gap> L := [ FinSet1( 4 ), FinSet1( 2 ), FinSet1( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet1( 2 );;
 gap> L := [ FinSet1( 4 ), InitialObject( finsets ), FinSet1( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := TerminalObject( finsets );;
 gap> L := [ FinSet1( 4 ), FinSet1( 2 ), FinSet1( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet1( 2 );;
 gap> L := [ FinSet1( 4 ), TerminalObject( finsets ), FinSet1( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 ##############################################
diff --git a/tst/SkeletalCartesianClosedOpposite.tst b/tst/SkeletalCartesianClosedOpposite.tst
@@ -177,42 +177,43 @@ gap> BraidedCocartesianCategoriesTest( finsets, opposite_primitive, a, t );;
 #
 gap> a := FinSet( 2 );;
 gap> L := [ FinSet( 4 ), FinSet( 2 ), FinSet( 6 ) ];;
+gap> M := [ 3, 2, 4 ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := InitialObject( finsets );;
 gap> L := [ FinSet( 4 ), FinSet( 2 ), FinSet( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet( 2 );;
 gap> L := [ FinSet( 4 ), InitialObject( finsets ), FinSet( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := TerminalObject( finsets );;
 gap> L := [ FinSet( 4 ), FinSet( 2 ), FinSet( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 gap> a := FinSet( 2 );;
 gap> L := [ FinSet( 4 ), TerminalObject( finsets ), FinSet( 6 ) ];;
 
 #
-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;
-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;
+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;
 
 #
 ##############################################

Original file line number	Diff line number	Diff line change
`@@ -177,42 +177,43 @@ gap> BraidedCocartesianCategoriesTest( finsets, opposite_primitive, a, t );;`
`177`	`177`	`#`
`178`	`178`	`gap> a := FinSet( [ 1 .. 2 ] );;`
`179`	`179`	`gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;`
	`180`	`+gap> M := [ 3, 2, 4 ];;`
`180`	`181`
`181`	`182`	`#`
`182`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;`
`183`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;`
	`183`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;`
	`184`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;`
`184`	`185`
`185`	`186`	`#`
`186`	`187`	`gap> a := InitialObject( finsets );;`
`187`	`188`	`gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;`
`188`	`189`
`189`	`190`	`#`
`190`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;`
`191`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;`
	`191`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;`
	`192`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;`
`192`	`193`
`193`	`194`	`#`
`194`	`195`	`gap> a := FinSet( [ 1 .. 2 ] );;`
`195`	`196`	`gap> L := [ FinSet( [ 2 .. 5 ] ), InitialObject( finsets ), FinSet( [ 3 .. 8 ] ) ];;`
`196`	`197`
`197`	`198`	`#`
`198`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;`
`199`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;`
	`199`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;`
	`200`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;`
`200`	`201`
`201`	`202`	`#`
`202`	`203`	`gap> a := TerminalObject( finsets );;`
`203`	`204`	`gap> L := [ FinSet( [ 2 .. 5 ] ), FinSet( [ 6 .. 7 ] ), FinSet( [ 3 .. 8 ] ) ];;`
`204`	`205`
`205`	`206`	`#`
`206`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;`
`207`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;`
	`207`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;`
	`208`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;`
`208`	`209`
`209`	`210`	`#`
`210`	`211`	`gap> a := FinSet( [ 1 .. 2 ] );;`
`211`	`212`	`gap> L := [ FinSet( [ 2 .. 5 ] ), TerminalObject( finsets ), FinSet( [ 3 .. 8 ] ) ];;`
`212`	`213`
`213`	`214`	`#`
`214`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L );;`
`215`		`-gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L );;`
	`215`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite, a, L, M );;`
	`216`	`+gap> DistributiveCartesianCategoriesTest( finsets, opposite_primitive, a, L, M );;`
`216`	`217`
`217`	`218`	`#`
`218`	`219`	`##############################################`