Goto Chapter: Top 1 2 3 4 5 6 Ind
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 

3 Examples and Tests
 3.1 Test functions
 3.2 InfoOfInstalledOperationsOfCategory

3 Examples and Tests

3.1 Test functions

3.1-1 TestCartesianBraidingForInvertibility
‣ TestCartesianBraidingForInvertibility( cat, obj_1, obj_2 )( operation )

Returns: a boolean

This is a debug operation. The arguments are three objects \(obj_1, obj_2\) in a braided cartesian category \(cat\). The output is true if the braiding is invertible, false otherwise.

3.1-2 TestCartesianBraidingCompatibility
‣ TestCartesianBraidingCompatibility( cat, obj_1, obj_2, obj_3 )( operation )

Returns: a boolean

This is a debug operation. The arguments are three objects \(obj_1, obj_2, obj_3\) in a braided cartesian category \(cat\). The output is true if the braiding compatabilities with the associator hold, false otherwise.

3.1-3 TestCartesianBraidingCompatibilityForAllTriplesInList
‣ TestCartesianBraidingCompatibilityForAllTriplesInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a braided cartesian category \(cat\). The output is true if the braiding compatabilities with the associator hold for all triples of objects in \(L\), otherwise false.

3.1-4 BraidedCartesianCategoriesTest
‣ BraidedCartesianCategoriesTest( cat, a, b )( function )

The arguments are

This function checks for every operation declared in BraidedCartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-5 TestCocartesianBraidingForInvertibility
‣ TestCocartesianBraidingForInvertibility( cat, obj_1, obj_2 )( operation )

Returns: a boolean

This is a debug operation. The arguments are three objects \(obj_1, obj_2\) in a braided cocartesian category \(cat\). The output is true if the braiding is invertible, false otherwise.

3.1-6 TestCocartesianBraidingCompatibility
‣ TestCocartesianBraidingCompatibility( cat, obj_1, obj_2, obj_3 )( operation )

Returns: a boolean

This is a debug operation. The arguments are three objects \(obj_1, obj_2, obj_3\) in a braided cocartesian category \(cat\). The output is true if the braiding compatabilities with the associator hold, false otherwise.

3.1-7 TestCocartesianBraidingCompatibilityForAllTriplesInList
‣ TestCocartesianBraidingCompatibilityForAllTriplesInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a braided cocartesian category \(cat\). The output is true if the braiding compatabilities with the associator hold for all triples of objects in \(L\), otherwise false.

3.1-8 BraidedCocartesianCategoriesTest
‣ BraidedCocartesianCategoriesTest( cat, a, b )( function )

The arguments are

This function checks for every operation declared in BraidedCocartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-9 TestCartesianUnitorsForInvertibility
‣ TestCartesianUnitorsForInvertibility( cat, obj )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj\) in a cartesian category \(cat\). The output is true if the left and right unitors are invertible for \(obj\).

3.1-10 TestCartesianAssociatorForInvertibility
‣ TestCartesianAssociatorForInvertibility( cat, obj_1, obj_2, obj_3 )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj_1, obj_2, obj_3\) in a cartesian category \(cat\). The output is true if the associator are invertible for these 3 objects, false otherwise.

3.1-11 TestCartesianTriangleIdentity
‣ TestCartesianTriangleIdentity( cat, obj_1, obj_2 )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj_1, obj_2\) in a cartesian category \(cat\). The output is true if the triangle identity holds for these 2 objects, false otherwise.

3.1-12 TestCartesianTriangleIdentityForAllPairsInList
‣ TestCartesianTriangleIdentityForAllPairsInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a cartesian category \(cat\). The output is true if the triangle identity holds for all pairs of objects in \(L\), otherwise false.

3.1-13 TestCartesianPentagonIdentity
‣ TestCartesianPentagonIdentity( cat, obj_1, obj_2, obj_3, obj_4 )( operation )

Returns: a boolean

This is a debug operation. The arguments are 4 objects \(obj_1, obj_2, obj_3, obj_4\) in a cartesian category \(cat\). The output is true if the pentagon identity holds for these 4 objects, false otherwise.

3.1-14 TestCartesianPentagonIdentityUsingWithGivenOperations
‣ TestCartesianPentagonIdentityUsingWithGivenOperations( cat, obj_1, obj_2, obj_3, obj_4 )( operation )

Returns: a boolean

This is a debug operation. The arguments are 4 objects \(obj_1, obj_2, obj_3, obj_4\) in a cartesian category \(cat\). The output is true if the pentagon identity holds for these 4 objects, false otherwise. This test uses the WithGiven-operations.

3.1-15 TestCartesianPentagonIdentityForAllQuadruplesInList
‣ TestCartesianPentagonIdentityForAllQuadruplesInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a cartesian category \(cat\). The output is true if the pentagon identity holds for all quadruples of objects in \(L\), otherwise false.

3.1-16 CartesianCategoriesTest
‣ CartesianCategoriesTest( cat, a, b, c, alpha, beta )( function )

The arguments are

This function checks for every operation declared in CartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-17 CartesianClosedCategoriesTest
‣ CartesianClosedCategoriesTest( cat, a, b, c, d, alpha, beta, gamma, delta, epsilon, zeta )( function )

The arguments are

This function checks for every operation declared in CartesianClosedCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-18 TestCocartesianUnitorsForInvertibility
‣ TestCocartesianUnitorsForInvertibility( cat, obj )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj\) in a cocartesian category \(cat\). The output is true if the left and right unitors are invertible for \(obj\).

3.1-19 TestCocartesianAssociatorForInvertibility
‣ TestCocartesianAssociatorForInvertibility( cat, obj_1, obj_2, obj_3 )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj_1, obj_2, obj_3\) in a cocartesian category \(cat\). The output is true if the associator are invertible for these 3 objects, false otherwise.

3.1-20 TestCocartesianTriangleIdentity
‣ TestCocartesianTriangleIdentity( cat, obj_1, obj_2 )( operation )

Returns: a boolean

This is a debug operation. The arguments are two objects \(obj_1, obj_2\) in a cocartesian category \(cat\). The output is true if the triangle identity holds for these 2 objects, false otherwise.

3.1-21 TestCocartesianTriangleIdentityForAllPairsInList
‣ TestCocartesianTriangleIdentityForAllPairsInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a cocartesian category \(cat\). The output is true if the triangle identity holds for all pairs of objects in \(L\), otherwise false.

3.1-22 TestCocartesianPentagonIdentity
‣ TestCocartesianPentagonIdentity( cat, obj_1, obj_2, obj_3, obj_4 )( operation )

Returns: a boolean

This is a debug operation. The arguments are 4 objects \(obj_1, obj_2, obj_3, obj_4\) in a cocartesian category \(cat\). The output is true if the pentagon identity holds for these 4 objects, false otherwise.

3.1-23 TestCocartesianPentagonIdentityUsingWithGivenOperations
‣ TestCocartesianPentagonIdentityUsingWithGivenOperations( cat, obj_1, obj_2, obj_3, obj_4 )( operation )

Returns: a boolean

This is a debug operation. The arguments are 4 objects \(obj_1, obj_2, obj_3, obj_4\) in a cocartesian category \(cat\). The output is true if the pentagon identity holds for these 4 objects, false otherwise. This test uses the WithGiven-operations.

3.1-24 TestCocartesianPentagonIdentityForAllQuadruplesInList
‣ TestCocartesianPentagonIdentityForAllQuadruplesInList( cat, L )( operation )

Returns: a boolean

This is a debug operation. The argument is a list \(L\) of objects in a cocartesian category \(cat\). The output is true if the pentagon identity holds for all quadruples of objects in \(L\), otherwise false.

3.1-25 CocartesianCategoriesTest
‣ CocartesianCategoriesTest( cat, a, b, c, alpha, beta )( function )

The arguments are

This function checks for every operation declared in CocartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-26 CocartesianCoclosedCategoriesTest
‣ CocartesianCoclosedCategoriesTest( cat, a, b, c, d, alpha, beta, gamma, delta, epsilon, zeta )( function )

The arguments are

This function checks for every operation declared in CocartesianCoclosedCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-27 CodistributiveCocartesianCategoriesTest
‣ CodistributiveCocartesianCategoriesTest( cat, a, L )( function )

The arguments are

This function checks for every operation declared in CodistributiveCocartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.1-28 DistributiveCartesianCategoriesTest
‣ DistributiveCartesianCategoriesTest( cat, a, L )( function )

The arguments are

This function checks for every operation declared in DistributiveCartesianCategories.gd if it is computable in the CAP category \(cat\). If yes, then the operation is executed with the parameters given above and compared to the equivalent computation in the opposite category of \(cat\). Pass the options

3.2 InfoOfInstalledOperationsOfCategory

gap> LoadPackage( "CartesianCategories", false );
true
gap> distributive := DummyCategory( rec(
>   list_of_operations_to_install :=
>     ListOfDefiningOperations( "IsBicartesianClosedCategory" ),
>   properties := [ "IsBicartesianClosedCategory", "IsSkeletalCategory" ] ) );;
gap> InfoOfInstalledOperationsOfCategory( distributive );
21 primitive operations were used to derive 121 operations for this category \
which algorithmically
* IsBicartesianClosedCategory
and not yet algorithmically
* IsDistributiveCategory
and furthermore mathematically
* IsSkeletalCategory
 [Top of Book]  [Contents]   [Previous Chapter]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 Ind

generated by GAPDoc2HTML