Skip to content

Commit aa8d25b

Browse files
zickgrafzickgraf
authored
Merge pull request #1225 from TKuh/DeleteDiagonalDifference
Replace calls to `DirectSum(Co)DiagonalDifference`
2 parents 97c7ffd + 4445135 commit aa8d25b

File tree

16 files changed

+269
-975
lines changed

16 files changed

+269
-975
lines changed

‎AttributeCategoryForCAP/PackageInfo.g‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
1010

1111
PackageName := "AttributeCategoryForCAP",
1212
Subtitle := "Automatic enhancement with attributes of a CAP category",
13-
Version := "2023.01-01",
13+
Version := "2023.02-01",
1414
Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
1515
License := "GPL-2.0-or-later",
1616

‎AttributeCategoryForCAP/gap/AttributeCategory.gi‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -532,15 +532,15 @@ InstallGlobalFunction( CAP_INTERNAL_DERIVE_STRUCTURE_FUNCTIONS_OF_UNIVERSAL_OBJE
532532
end );
533533

534534
derivation_record.Pushout := rec(
535-
uses := [ "DirectSumProjectionInPushout", "DirectSum" ],
535+
uses := [ "PushoutProjectionFromDirectSum", "DirectSum" ],
536536
derivation := function( diagram, pushout )
537537
local underlying_diagram, direct_sum_diagram;
538538

539539
underlying_diagram := List( diagram, UnderlyingCell );
540540

541541
direct_sum_diagram := List( diagram, Range );
542542

543-
return colift_operation( DirectSumProjectionInPushout( underlying_diagram ),
543+
return colift_operation( PushoutProjectionFromDirectSum( underlying_diagram ),
544544
DirectSum( direct_sum_diagram ) );
545545

546546
end );

‎CAP/PackageInfo.g‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
1010

1111
PackageName := "CAP",
1212
Subtitle := "Categories, Algorithms, Programming",
13-
Version := "2023.02-01",
13+
Version := "2023.02-02",
1414
Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
1515
License := "GPL-2.0-or-later",
1616

‎CAP/examples/TerminalCategoryWithMultipleObjects.g‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ T := TerminalCategoryWithMultipleObjects( );
1010
Display( T );
1111
#! A CAP category with name TerminalCategoryWithMultipleObjects( ):
1212
#!
13-
#! 63 primitive operations were used to derive 306 operations for this category
13+
#! 63 primitive operations were used to derive 302 operations for this category
1414
#! which algorithmically
1515
#! * IsCategoryWithDecidableColifts
1616
#! * IsCategoryWithDecidableLifts

‎CAP/examples/TerminalCategoryWithSingleObject.g‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ T := TerminalCategoryWithSingleObject( );
1010
Display( T );
1111
#! A CAP category with name TerminalCategoryWithSingleObject( ):
1212
#!
13-
#! 63 primitive operations were used to derive 306 operations for this category
13+
#! 63 primitive operations were used to derive 302 operations for this category
1414
#! which algorithmically
1515
#! * IsCategoryWithDecidableColifts
1616
#! * IsCategoryWithDecidableLifts

‎CAP/examples/VectorSpacesFinalizeTest.g‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -150,7 +150,7 @@ AddKernelLift( vecspaces,
150150

151151
end );
152152

153-
## Methods needed for DirectSumProjectionInPushout
153+
## Methods needed for PushoutProjectionFromDirectSum
154154

155155
##
156156
AddCokernelObject( vecspaces,

‎CAP/gap/AddFunctions.autogen.gd‎

Lines changed: 0 additions & 152 deletions
Original file line numberDiff line numberDiff line change
@@ -769,44 +769,6 @@ DeclareOperation( "AddDirectSum",
769769
DeclareOperation( "AddDirectSum",
770770
[ IsCapCategory, IsList ] );
771771

772-
#! @Description
773-
#! The arguments are a category $C$ and a function $F$.
774-
#! This operation adds the given function $F$
775-
#! to the category for the basic operation `DirectSumCodiagonalDifference`.
776-
#! $F: ( D ) \mapsto \mathtt{DirectSumCodiagonalDifference}(D)$.
777-
#! @Returns nothing
778-
#! @Arguments C, F
779-
DeclareOperation( "AddDirectSumCodiagonalDifference",
780-
[ IsCapCategory, IsFunction ] );
781-
782-
DeclareOperation( "AddDirectSumCodiagonalDifference",
783-
[ IsCapCategory, IsFunction, IsInt ] );
784-
785-
DeclareOperation( "AddDirectSumCodiagonalDifference",
786-
[ IsCapCategory, IsList, IsInt ] );
787-
788-
DeclareOperation( "AddDirectSumCodiagonalDifference",
789-
[ IsCapCategory, IsList ] );
790-
791-
#! @Description
792-
#! The arguments are a category $C$ and a function $F$.
793-
#! This operation adds the given function $F$
794-
#! to the category for the basic operation `DirectSumDiagonalDifference`.
795-
#! $F: ( D ) \mapsto \mathtt{DirectSumDiagonalDifference}(D)$.
796-
#! @Returns nothing
797-
#! @Arguments C, F
798-
DeclareOperation( "AddDirectSumDiagonalDifference",
799-
[ IsCapCategory, IsFunction ] );
800-
801-
DeclareOperation( "AddDirectSumDiagonalDifference",
802-
[ IsCapCategory, IsFunction, IsInt ] );
803-
804-
DeclareOperation( "AddDirectSumDiagonalDifference",
805-
[ IsCapCategory, IsList, IsInt ] );
806-
807-
DeclareOperation( "AddDirectSumDiagonalDifference",
808-
[ IsCapCategory, IsList ] );
809-
810772
#! @Description
811773
#! The arguments are a category $C$ and a function $F$.
812774
#! This operation adds the given function $F$
@@ -845,25 +807,6 @@ DeclareOperation( "AddDirectSumFunctorialWithGivenDirectSums",
845807
DeclareOperation( "AddDirectSumFunctorialWithGivenDirectSums",
846808
[ IsCapCategory, IsList ] );
847809

848-
#! @Description
849-
#! The arguments are a category $C$ and a function $F$.
850-
#! This operation adds the given function $F$
851-
#! to the category for the basic operation `DirectSumProjectionInPushout`.
852-
#! $F: ( D ) \mapsto \mathtt{DirectSumProjectionInPushout}(D)$.
853-
#! @Returns nothing
854-
#! @Arguments C, F
855-
DeclareOperation( "AddDirectSumProjectionInPushout",
856-
[ IsCapCategory, IsFunction ] );
857-
858-
DeclareOperation( "AddDirectSumProjectionInPushout",
859-
[ IsCapCategory, IsFunction, IsInt ] );
860-
861-
DeclareOperation( "AddDirectSumProjectionInPushout",
862-
[ IsCapCategory, IsList, IsInt ] );
863-
864-
DeclareOperation( "AddDirectSumProjectionInPushout",
865-
[ IsCapCategory, IsList ] );
866-
867810
#! @Description
868811
#! The arguments are a category $C$ and a function $F$.
869812
#! This operation adds the given function $F$
@@ -1073,25 +1016,6 @@ DeclareOperation( "AddFiberProduct",
10731016
DeclareOperation( "AddFiberProduct",
10741017
[ IsCapCategory, IsList ] );
10751018

1076-
#! @Description
1077-
#! The arguments are a category $C$ and a function $F$.
1078-
#! This operation adds the given function $F$
1079-
#! to the category for the basic operation `FiberProductEmbeddingInDirectSum`.
1080-
#! $F: ( D ) \mapsto \mathtt{FiberProductEmbeddingInDirectSum}(D)$.
1081-
#! @Returns nothing
1082-
#! @Arguments C, F
1083-
DeclareOperation( "AddFiberProductEmbeddingInDirectSum",
1084-
[ IsCapCategory, IsFunction ] );
1085-
1086-
DeclareOperation( "AddFiberProductEmbeddingInDirectSum",
1087-
[ IsCapCategory, IsFunction, IsInt ] );
1088-
1089-
DeclareOperation( "AddFiberProductEmbeddingInDirectSum",
1090-
[ IsCapCategory, IsList, IsInt ] );
1091-
1092-
DeclareOperation( "AddFiberProductEmbeddingInDirectSum",
1093-
[ IsCapCategory, IsList ] );
1094-
10951019
#! @Description
10961020
#! The arguments are a category $C$ and a function $F$.
10971021
#! This operation adds the given function $F$
@@ -2498,25 +2422,6 @@ DeclareOperation( "AddIsomorphismFromCoimageToCokernelOfKernel",
24982422
DeclareOperation( "AddIsomorphismFromCoimageToCokernelOfKernel",
24992423
[ IsCapCategory, IsList ] );
25002424

2501-
#! @Description
2502-
#! The arguments are a category $C$ and a function $F$.
2503-
#! This operation adds the given function $F$
2504-
#! to the category for the basic operation `IsomorphismFromCokernelOfDiagonalDifferenceToPushout`.
2505-
#! $F: ( D ) \mapsto \mathtt{IsomorphismFromCokernelOfDiagonalDifferenceToPushout}(D)$.
2506-
#! @Returns nothing
2507-
#! @Arguments C, F
2508-
DeclareOperation( "AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout",
2509-
[ IsCapCategory, IsFunction ] );
2510-
2511-
DeclareOperation( "AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout",
2512-
[ IsCapCategory, IsFunction, IsInt ] );
2513-
2514-
DeclareOperation( "AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout",
2515-
[ IsCapCategory, IsList, IsInt ] );
2516-
2517-
DeclareOperation( "AddIsomorphismFromCokernelOfDiagonalDifferenceToPushout",
2518-
[ IsCapCategory, IsList ] );
2519-
25202425
#! @Description
25212426
#! The arguments are a category $C$ and a function $F$.
25222427
#! This operation adds the given function $F$
@@ -2688,25 +2593,6 @@ DeclareOperation( "AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagr
26882593
DeclareOperation( "AddIsomorphismFromFiberProductToEqualizerOfDirectProductDiagram",
26892594
[ IsCapCategory, IsList ] );
26902595

2691-
#! @Description
2692-
#! The arguments are a category $C$ and a function $F$.
2693-
#! This operation adds the given function $F$
2694-
#! to the category for the basic operation `IsomorphismFromFiberProductToKernelOfDiagonalDifference`.
2695-
#! $F: ( D ) \mapsto \mathtt{IsomorphismFromFiberProductToKernelOfDiagonalDifference}(D)$.
2696-
#! @Returns nothing
2697-
#! @Arguments C, F
2698-
DeclareOperation( "AddIsomorphismFromFiberProductToKernelOfDiagonalDifference",
2699-
[ IsCapCategory, IsFunction ] );
2700-
2701-
DeclareOperation( "AddIsomorphismFromFiberProductToKernelOfDiagonalDifference",
2702-
[ IsCapCategory, IsFunction, IsInt ] );
2703-
2704-
DeclareOperation( "AddIsomorphismFromFiberProductToKernelOfDiagonalDifference",
2705-
[ IsCapCategory, IsList, IsInt ] );
2706-
2707-
DeclareOperation( "AddIsomorphismFromFiberProductToKernelOfDiagonalDifference",
2708-
[ IsCapCategory, IsList ] );
2709-
27102596
#! @Description
27112597
#! The arguments are a category $C$ and a function $F$.
27122598
#! This operation adds the given function $F$
@@ -2802,25 +2688,6 @@ DeclareOperation( "AddIsomorphismFromKernelOfCokernelToImageObject",
28022688
DeclareOperation( "AddIsomorphismFromKernelOfCokernelToImageObject",
28032689
[ IsCapCategory, IsList ] );
28042690

2805-
#! @Description
2806-
#! The arguments are a category $C$ and a function $F$.
2807-
#! This operation adds the given function $F$
2808-
#! to the category for the basic operation `IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct`.
2809-
#! $F: ( D ) \mapsto \mathtt{IsomorphismFromKernelOfDiagonalDifferenceToFiberProduct}(D)$.
2810-
#! @Returns nothing
2811-
#! @Arguments C, F
2812-
DeclareOperation( "AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct",
2813-
[ IsCapCategory, IsFunction ] );
2814-
2815-
DeclareOperation( "AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct",
2816-
[ IsCapCategory, IsFunction, IsInt ] );
2817-
2818-
DeclareOperation( "AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct",
2819-
[ IsCapCategory, IsList, IsInt ] );
2820-
2821-
DeclareOperation( "AddIsomorphismFromKernelOfDiagonalDifferenceToFiberProduct",
2822-
[ IsCapCategory, IsList ] );
2823-
28242691
#! @Description
28252692
#! The arguments are a category $C$ and a function $F$.
28262693
#! This operation adds the given function $F$
@@ -2859,25 +2726,6 @@ DeclareOperation( "AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram",
28592726
DeclareOperation( "AddIsomorphismFromPushoutToCoequalizerOfCoproductDiagram",
28602727
[ IsCapCategory, IsList ] );
28612728

2862-
#! @Description
2863-
#! The arguments are a category $C$ and a function $F$.
2864-
#! This operation adds the given function $F$
2865-
#! to the category for the basic operation `IsomorphismFromPushoutToCokernelOfDiagonalDifference`.
2866-
#! $F: ( D ) \mapsto \mathtt{IsomorphismFromPushoutToCokernelOfDiagonalDifference}(D)$.
2867-
#! @Returns nothing
2868-
#! @Arguments C, F
2869-
DeclareOperation( "AddIsomorphismFromPushoutToCokernelOfDiagonalDifference",
2870-
[ IsCapCategory, IsFunction ] );
2871-
2872-
DeclareOperation( "AddIsomorphismFromPushoutToCokernelOfDiagonalDifference",
2873-
[ IsCapCategory, IsFunction, IsInt ] );
2874-
2875-
DeclareOperation( "AddIsomorphismFromPushoutToCokernelOfDiagonalDifference",
2876-
[ IsCapCategory, IsList, IsInt ] );
2877-
2878-
DeclareOperation( "AddIsomorphismFromPushoutToCokernelOfDiagonalDifference",
2879-
[ IsCapCategory, IsList ] );
2880-
28812729
#! @Description
28822730
#! The arguments are a category $C$ and a function $F$.
28832731
#! This operation adds the given function $F$

0 commit comments

Comments
 (0)