Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Implementations
#
# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
## AdditionForMorphisms
InstallMethod( AddAdditionForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "AdditionForMorphisms", category, func, -1 );
end );
InstallMethod( AddAdditionForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "AdditionForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## AdditiveGenerators
InstallMethod( AddAdditiveGenerators,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "AdditiveGenerators", category, func, -1 );
end );
InstallMethod( AddAdditiveGenerators,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "AdditiveGenerators", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## AdditiveInverseForMorphisms
InstallMethod( AddAdditiveInverseForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "AdditiveInverseForMorphisms", category, func, -1 );
end );
InstallMethod( AddAdditiveInverseForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "AdditiveInverseForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## AstrictionToCoimage
InstallMethod( AddAstrictionToCoimage,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "AstrictionToCoimage", category, func, -1 );
end );
InstallMethod( AddAstrictionToCoimage,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "AstrictionToCoimage", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## AstrictionToCoimageWithGivenCoimageObject
InstallMethod( AddAstrictionToCoimageWithGivenCoimageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "AstrictionToCoimageWithGivenCoimageObject", category, func, -1 );
end );
InstallMethod( AddAstrictionToCoimageWithGivenCoimageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "AstrictionToCoimageWithGivenCoimageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( AstrictionToCoimageWithGivenCoimageObject,
"AstrictionToCoimageWithGivenCoimageObject by calling AstrictionToCoimage with the WithGiven argument(s) dropped",
[
[ AstrictionToCoimage, 1 ],
],
function( cat, alpha, C )
return AstrictionToCoimage( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( AstrictionToCoimage,
"AstrictionToCoimage by calling AstrictionToCoimageWithGivenCoimageObject with the WithGiven object(s)",
[
[ AstrictionToCoimageWithGivenCoimageObject, 1 ],
[ CoimageObject, 1 ],
],
function( cat, alpha )
return AstrictionToCoimageWithGivenCoimageObject( cat, alpha, CoimageObject( cat, alpha ) );
end : is_with_given_derivation := true );
## BasisOfExternalHom
InstallMethod( AddBasisOfExternalHom,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "BasisOfExternalHom", category, func, -1 );
end );
InstallMethod( AddBasisOfExternalHom,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "BasisOfExternalHom", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory
InstallMethod( AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory", category, func, -1 );
end );
InstallMethod( AddBasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "BasisOfSolutionsOfHomogeneousDoubleLinearSystemInLinearCategory", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory
InstallMethod( AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory", category, func, -1 );
end );
InstallMethod( AddBasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "BasisOfSolutionsOfHomogeneousLinearSystemInLinearCategory", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoastrictionToImage
InstallMethod( AddCoastrictionToImage,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoastrictionToImage", category, func, -1 );
end );
InstallMethod( AddCoastrictionToImage,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoastrictionToImage", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoastrictionToImageWithGivenImageObject
InstallMethod( AddCoastrictionToImageWithGivenImageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoastrictionToImageWithGivenImageObject", category, func, -1 );
end );
InstallMethod( AddCoastrictionToImageWithGivenImageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoastrictionToImageWithGivenImageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CoastrictionToImageWithGivenImageObject,
"CoastrictionToImageWithGivenImageObject by calling CoastrictionToImage with the WithGiven argument(s) dropped",
[
[ CoastrictionToImage, 1 ],
],
function( cat, alpha, I )
return CoastrictionToImage( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( CoastrictionToImage,
"CoastrictionToImage by calling CoastrictionToImageWithGivenImageObject with the WithGiven object(s)",
[
[ CoastrictionToImageWithGivenImageObject, 1 ],
[ ImageObject, 1 ],
],
function( cat, alpha )
return CoastrictionToImageWithGivenImageObject( cat, alpha, ImageObject( cat, alpha ) );
end : is_with_given_derivation := true );
## CoefficientsOfMorphism
InstallMethod( AddCoefficientsOfMorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoefficientsOfMorphism", category, func, -1 );
end );
InstallMethod( AddCoefficientsOfMorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoefficientsOfMorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## Coequalizer
InstallMethod( AddCoequalizer,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "Coequalizer", category, func, -1 );
end );
InstallMethod( AddCoequalizer,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "Coequalizer", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoequalizerFunctorial
InstallMethod( AddCoequalizerFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoequalizerFunctorial", category, func, -1 );
end );
InstallMethod( AddCoequalizerFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoequalizerFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoequalizerFunctorialWithGivenCoequalizers
InstallMethod( AddCoequalizerFunctorialWithGivenCoequalizers,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoequalizerFunctorialWithGivenCoequalizers", category, func, -1 );
end );
InstallMethod( AddCoequalizerFunctorialWithGivenCoequalizers,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoequalizerFunctorialWithGivenCoequalizers", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CoequalizerFunctorialWithGivenCoequalizers,
"CoequalizerFunctorialWithGivenCoequalizers by calling CoequalizerFunctorial with the WithGiven argument(s) dropped",
[
[ CoequalizerFunctorial, 1 ],
],
function( cat, P, morphisms, mu, morphismsp, Pp )
return CoequalizerFunctorial( cat, morphisms, mu, morphismsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( CoequalizerFunctorial,
"CoequalizerFunctorial by calling CoequalizerFunctorialWithGivenCoequalizers with the WithGiven object(s)",
[
[ CoequalizerFunctorialWithGivenCoequalizers, 1 ],
[ Coequalizer, 2 ],
],
function( cat, morphisms, mu, morphismsp )
return CoequalizerFunctorialWithGivenCoequalizers( cat, Coequalizer( cat, Source( mu ), morphisms ), morphisms, mu, morphismsp, Coequalizer( cat, Range( mu ), morphismsp ) );
end : is_with_given_derivation := true );
## CoimageObject
InstallMethod( AddCoimageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoimageObject", category, func, -1 );
end );
InstallMethod( AddCoimageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoimageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoimageObjectFunctorial
InstallMethod( AddCoimageObjectFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoimageObjectFunctorial", category, func, -1 );
end );
InstallMethod( AddCoimageObjectFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoimageObjectFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoimageObjectFunctorialWithGivenCoimageObjects
InstallMethod( AddCoimageObjectFunctorialWithGivenCoimageObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoimageObjectFunctorialWithGivenCoimageObjects", category, func, -1 );
end );
InstallMethod( AddCoimageObjectFunctorialWithGivenCoimageObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoimageObjectFunctorialWithGivenCoimageObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CoimageObjectFunctorialWithGivenCoimageObjects,
"CoimageObjectFunctorialWithGivenCoimageObjects by calling CoimageObjectFunctorial with the WithGiven argument(s) dropped",
[
[ CoimageObjectFunctorial, 1 ],
],
function( cat, C, alpha, mu, alphap, Cp )
return CoimageObjectFunctorial( cat, alpha, mu, alphap );
end : is_with_given_derivation := true );
AddDerivationToCAP( CoimageObjectFunctorial,
"CoimageObjectFunctorial by calling CoimageObjectFunctorialWithGivenCoimageObjects with the WithGiven object(s)",
[
[ CoimageObjectFunctorialWithGivenCoimageObjects, 1 ],
[ CoimageObject, 2 ],
],
function( cat, alpha, mu, alphap )
return CoimageObjectFunctorialWithGivenCoimageObjects( cat, CoimageObject( cat, alpha ), alpha, mu, alphap, CoimageObject( cat, alphap ) );
end : is_with_given_derivation := true );
## CoimageProjection
InstallMethod( AddCoimageProjection,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoimageProjection", category, func, -1 );
end );
InstallMethod( AddCoimageProjection,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoimageProjection", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoimageProjectionWithGivenCoimageObject
InstallMethod( AddCoimageProjectionWithGivenCoimageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoimageProjectionWithGivenCoimageObject", category, func, -1 );
end );
InstallMethod( AddCoimageProjectionWithGivenCoimageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoimageProjectionWithGivenCoimageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CoimageProjectionWithGivenCoimageObject,
"CoimageProjectionWithGivenCoimageObject by calling CoimageProjection with the WithGiven argument(s) dropped",
[
[ CoimageProjection, 1 ],
],
function( cat, alpha, C )
return CoimageProjection( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( CoimageProjection,
"CoimageProjection by calling CoimageProjectionWithGivenCoimageObject with the WithGiven object(s)",
[
[ CoimageProjectionWithGivenCoimageObject, 1 ],
[ CoimageObject, 1 ],
],
function( cat, alpha )
return CoimageProjectionWithGivenCoimageObject( cat, alpha, CoimageObject( cat, alpha ) );
end : is_with_given_derivation := true );
## CokernelColift
InstallMethod( AddCokernelColift,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelColift", category, func, -1 );
end );
InstallMethod( AddCokernelColift,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelColift", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CokernelColiftWithGivenCokernelObject
InstallMethod( AddCokernelColiftWithGivenCokernelObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelColiftWithGivenCokernelObject", category, func, -1 );
end );
InstallMethod( AddCokernelColiftWithGivenCokernelObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelColiftWithGivenCokernelObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CokernelColiftWithGivenCokernelObject,
"CokernelColiftWithGivenCokernelObject by calling CokernelColift with the WithGiven argument(s) dropped",
[
[ CokernelColift, 1 ],
],
function( cat, alpha, T, tau, P )
return CokernelColift( cat, alpha, T, tau );
end : is_with_given_derivation := true );
AddDerivationToCAP( CokernelColift,
"CokernelColift by calling CokernelColiftWithGivenCokernelObject with the WithGiven object(s)",
[
[ CokernelColiftWithGivenCokernelObject, 1 ],
[ CokernelObject, 1 ],
],
function( cat, alpha, T, tau )
return CokernelColiftWithGivenCokernelObject( cat, alpha, T, tau, CokernelObject( cat, alpha ) );
end : is_with_given_derivation := true );
## CokernelObject
InstallMethod( AddCokernelObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelObject", category, func, -1 );
end );
InstallMethod( AddCokernelObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CokernelObjectFunctorial
InstallMethod( AddCokernelObjectFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelObjectFunctorial", category, func, -1 );
end );
InstallMethod( AddCokernelObjectFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelObjectFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CokernelObjectFunctorialWithGivenCokernelObjects
InstallMethod( AddCokernelObjectFunctorialWithGivenCokernelObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelObjectFunctorialWithGivenCokernelObjects", category, func, -1 );
end );
InstallMethod( AddCokernelObjectFunctorialWithGivenCokernelObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelObjectFunctorialWithGivenCokernelObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CokernelObjectFunctorialWithGivenCokernelObjects,
"CokernelObjectFunctorialWithGivenCokernelObjects by calling CokernelObjectFunctorial with the WithGiven argument(s) dropped",
[
[ CokernelObjectFunctorial, 1 ],
],
function( cat, P, alpha, mu, alphap, Pp )
return CokernelObjectFunctorial( cat, alpha, mu, alphap );
end : is_with_given_derivation := true );
AddDerivationToCAP( CokernelObjectFunctorial,
"CokernelObjectFunctorial by calling CokernelObjectFunctorialWithGivenCokernelObjects with the WithGiven object(s)",
[
[ CokernelObjectFunctorialWithGivenCokernelObjects, 1 ],
[ CokernelObject, 2 ],
],
function( cat, alpha, mu, alphap )
return CokernelObjectFunctorialWithGivenCokernelObjects( cat, CokernelObject( cat, alpha ), alpha, mu, alphap, CokernelObject( cat, alphap ) );
end : is_with_given_derivation := true );
## CokernelProjection
InstallMethod( AddCokernelProjection,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelProjection", category, func, -1 );
end );
InstallMethod( AddCokernelProjection,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelProjection", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CokernelProjectionWithGivenCokernelObject
InstallMethod( AddCokernelProjectionWithGivenCokernelObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CokernelProjectionWithGivenCokernelObject", category, func, -1 );
end );
InstallMethod( AddCokernelProjectionWithGivenCokernelObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CokernelProjectionWithGivenCokernelObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CokernelProjectionWithGivenCokernelObject,
"CokernelProjectionWithGivenCokernelObject by calling CokernelProjection with the WithGiven argument(s) dropped",
[
[ CokernelProjection, 1 ],
],
function( cat, alpha, P )
return CokernelProjection( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( CokernelProjection,
"CokernelProjection by calling CokernelProjectionWithGivenCokernelObject with the WithGiven object(s)",
[
[ CokernelProjectionWithGivenCokernelObject, 1 ],
[ CokernelObject, 1 ],
],
function( cat, alpha )
return CokernelProjectionWithGivenCokernelObject( cat, alpha, CokernelObject( cat, alpha ) );
end : is_with_given_derivation := true );
## Colift
InstallMethod( AddColift,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "Colift", category, func, -1 );
end );
InstallMethod( AddColift,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "Colift", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ColiftAlongEpimorphism
InstallMethod( AddColiftAlongEpimorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ColiftAlongEpimorphism", category, func, -1 );
end );
InstallMethod( AddColiftAlongEpimorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ColiftAlongEpimorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ComponentOfMorphismFromCoproduct
InstallMethod( AddComponentOfMorphismFromCoproduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ComponentOfMorphismFromCoproduct", category, func, -1 );
end );
InstallMethod( AddComponentOfMorphismFromCoproduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ComponentOfMorphismFromCoproduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ComponentOfMorphismFromDirectSum
InstallMethod( AddComponentOfMorphismFromDirectSum,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ComponentOfMorphismFromDirectSum", category, func, -1 );
end );
InstallMethod( AddComponentOfMorphismFromDirectSum,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ComponentOfMorphismFromDirectSum", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ComponentOfMorphismIntoDirectProduct
InstallMethod( AddComponentOfMorphismIntoDirectProduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ComponentOfMorphismIntoDirectProduct", category, func, -1 );
end );
InstallMethod( AddComponentOfMorphismIntoDirectProduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ComponentOfMorphismIntoDirectProduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ComponentOfMorphismIntoDirectSum
InstallMethod( AddComponentOfMorphismIntoDirectSum,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ComponentOfMorphismIntoDirectSum", category, func, -1 );
end );
InstallMethod( AddComponentOfMorphismIntoDirectSum,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ComponentOfMorphismIntoDirectSum", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## Coproduct
InstallMethod( AddCoproduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "Coproduct", category, func, -1 );
end );
InstallMethod( AddCoproduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "Coproduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoproductFunctorial
InstallMethod( AddCoproductFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoproductFunctorial", category, func, -1 );
end );
InstallMethod( AddCoproductFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoproductFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## CoproductFunctorialWithGivenCoproducts
InstallMethod( AddCoproductFunctorialWithGivenCoproducts,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "CoproductFunctorialWithGivenCoproducts", category, func, -1 );
end );
InstallMethod( AddCoproductFunctorialWithGivenCoproducts,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "CoproductFunctorialWithGivenCoproducts", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( CoproductFunctorialWithGivenCoproducts,
"CoproductFunctorialWithGivenCoproducts by calling CoproductFunctorial with the WithGiven argument(s) dropped",
[
[ CoproductFunctorial, 1 ],
],
function( cat, P, objects, L, objectsp, Pp )
return CoproductFunctorial( cat, objects, L, objectsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( CoproductFunctorial,
"CoproductFunctorial by calling CoproductFunctorialWithGivenCoproducts with the WithGiven object(s)",
[
[ CoproductFunctorialWithGivenCoproducts, 1 ],
[ Coproduct, 2 ],
],
function( cat, objects, L, objectsp )
return CoproductFunctorialWithGivenCoproducts( cat, Coproduct( cat, objects ), objects, L, objectsp, Coproduct( cat, objectsp ) );
end : is_with_given_derivation := true );
## DirectProduct
InstallMethod( AddDirectProduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectProduct", category, func, -1 );
end );
InstallMethod( AddDirectProduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectProduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## DirectProductFunctorial
InstallMethod( AddDirectProductFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectProductFunctorial", category, func, -1 );
end );
InstallMethod( AddDirectProductFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectProductFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## DirectProductFunctorialWithGivenDirectProducts
InstallMethod( AddDirectProductFunctorialWithGivenDirectProducts,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectProductFunctorialWithGivenDirectProducts", category, func, -1 );
end );
InstallMethod( AddDirectProductFunctorialWithGivenDirectProducts,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectProductFunctorialWithGivenDirectProducts", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( DirectProductFunctorialWithGivenDirectProducts,
"DirectProductFunctorialWithGivenDirectProducts by calling DirectProductFunctorial with the WithGiven argument(s) dropped",
[
[ DirectProductFunctorial, 1 ],
],
function( cat, P, objects, L, objectsp, Pp )
return DirectProductFunctorial( cat, objects, L, objectsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( DirectProductFunctorial,
"DirectProductFunctorial by calling DirectProductFunctorialWithGivenDirectProducts with the WithGiven object(s)",
[
[ DirectProductFunctorialWithGivenDirectProducts, 1 ],
[ DirectProduct, 2 ],
],
function( cat, objects, L, objectsp )
return DirectProductFunctorialWithGivenDirectProducts( cat, DirectProduct( cat, objects ), objects, L, objectsp, DirectProduct( cat, objectsp ) );
end : is_with_given_derivation := true );
## DirectSum
InstallMethod( AddDirectSum,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectSum", category, func, -1 );
end );
InstallMethod( AddDirectSum,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectSum", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## DirectSumFunctorial
InstallMethod( AddDirectSumFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectSumFunctorial", category, func, -1 );
end );
InstallMethod( AddDirectSumFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectSumFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## DirectSumFunctorialWithGivenDirectSums
InstallMethod( AddDirectSumFunctorialWithGivenDirectSums,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DirectSumFunctorialWithGivenDirectSums", category, func, -1 );
end );
InstallMethod( AddDirectSumFunctorialWithGivenDirectSums,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DirectSumFunctorialWithGivenDirectSums", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( DirectSumFunctorialWithGivenDirectSums,
"DirectSumFunctorialWithGivenDirectSums by calling DirectSumFunctorial with the WithGiven argument(s) dropped",
[
[ DirectSumFunctorial, 1 ],
],
function( cat, P, objects, L, objectsp, Pp )
return DirectSumFunctorial( cat, objects, L, objectsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( DirectSumFunctorial,
"DirectSumFunctorial by calling DirectSumFunctorialWithGivenDirectSums with the WithGiven object(s)",
[
[ DirectSumFunctorialWithGivenDirectSums, 1 ],
[ DirectSum, 2 ],
],
function( cat, objects, L, objectsp )
return DirectSumFunctorialWithGivenDirectSums( cat, DirectSum( cat, objects ), objects, L, objectsp, DirectSum( cat, objectsp ) );
end : is_with_given_derivation := true );
## DistinguishedObjectOfHomomorphismStructure
InstallMethod( AddDistinguishedObjectOfHomomorphismStructure,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "DistinguishedObjectOfHomomorphismStructure", category, func, -1 );
end );
InstallMethod( AddDistinguishedObjectOfHomomorphismStructure,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "DistinguishedObjectOfHomomorphismStructure", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EmbeddingOfEqualizer
InstallMethod( AddEmbeddingOfEqualizer,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EmbeddingOfEqualizer", category, func, -1 );
end );
InstallMethod( AddEmbeddingOfEqualizer,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EmbeddingOfEqualizer", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EmbeddingOfEqualizerWithGivenEqualizer
InstallMethod( AddEmbeddingOfEqualizerWithGivenEqualizer,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EmbeddingOfEqualizerWithGivenEqualizer", category, func, -1 );
end );
InstallMethod( AddEmbeddingOfEqualizerWithGivenEqualizer,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EmbeddingOfEqualizerWithGivenEqualizer", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( EmbeddingOfEqualizerWithGivenEqualizer,
"EmbeddingOfEqualizerWithGivenEqualizer by calling EmbeddingOfEqualizer with the WithGiven argument(s) dropped",
[
[ EmbeddingOfEqualizer, 1 ],
],
function( cat, Y, morphisms, P )
return EmbeddingOfEqualizer( cat, Y, morphisms );
end : is_with_given_derivation := true );
AddDerivationToCAP( EmbeddingOfEqualizer,
"EmbeddingOfEqualizer by calling EmbeddingOfEqualizerWithGivenEqualizer with the WithGiven object(s)",
[
[ EmbeddingOfEqualizerWithGivenEqualizer, 1 ],
[ Equalizer, 1 ],
],
function( cat, Y, morphisms )
return EmbeddingOfEqualizerWithGivenEqualizer( cat, Y, morphisms, Equalizer( cat, Y, morphisms ) );
end : is_with_given_derivation := true );
## EpimorphismFromProjectiveCoverObject
InstallMethod( AddEpimorphismFromProjectiveCoverObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EpimorphismFromProjectiveCoverObject", category, func, -1 );
end );
InstallMethod( AddEpimorphismFromProjectiveCoverObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EpimorphismFromProjectiveCoverObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject
InstallMethod( AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject", category, func, -1 );
end );
InstallMethod( AddEpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject,
"EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject by calling EpimorphismFromProjectiveCoverObject with the WithGiven argument(s) dropped",
[
[ EpimorphismFromProjectiveCoverObject, 1 ],
],
function( cat, A, P )
return EpimorphismFromProjectiveCoverObject( cat, A );
end : is_with_given_derivation := true );
AddDerivationToCAP( EpimorphismFromProjectiveCoverObject,
"EpimorphismFromProjectiveCoverObject by calling EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject with the WithGiven object(s)",
[
[ EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject, 1 ],
[ ProjectiveCoverObject, 1 ],
],
function( cat, A )
return EpimorphismFromProjectiveCoverObjectWithGivenProjectiveCoverObject( cat, A, ProjectiveCoverObject( cat, A ) );
end : is_with_given_derivation := true );
## EpimorphismFromSomeProjectiveObject
InstallMethod( AddEpimorphismFromSomeProjectiveObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EpimorphismFromSomeProjectiveObject", category, func, -1 );
end );
InstallMethod( AddEpimorphismFromSomeProjectiveObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EpimorphismFromSomeProjectiveObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject
InstallMethod( AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject", category, func, -1 );
end );
InstallMethod( AddEpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject,
"EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject by calling EpimorphismFromSomeProjectiveObject with the WithGiven argument(s) dropped",
[
[ EpimorphismFromSomeProjectiveObject, 1 ],
],
function( cat, A, P )
return EpimorphismFromSomeProjectiveObject( cat, A );
end : is_with_given_derivation := true );
AddDerivationToCAP( EpimorphismFromSomeProjectiveObject,
"EpimorphismFromSomeProjectiveObject by calling EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject with the WithGiven object(s)",
[
[ EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject, 1 ],
[ SomeProjectiveObject, 1 ],
],
function( cat, A )
return EpimorphismFromSomeProjectiveObjectWithGivenSomeProjectiveObject( cat, A, SomeProjectiveObject( cat, A ) );
end : is_with_given_derivation := true );
## Equalizer
InstallMethod( AddEqualizer,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "Equalizer", category, func, -1 );
end );
InstallMethod( AddEqualizer,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "Equalizer", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EqualizerFunctorial
InstallMethod( AddEqualizerFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EqualizerFunctorial", category, func, -1 );
end );
InstallMethod( AddEqualizerFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EqualizerFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## EqualizerFunctorialWithGivenEqualizers
InstallMethod( AddEqualizerFunctorialWithGivenEqualizers,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "EqualizerFunctorialWithGivenEqualizers", category, func, -1 );
end );
InstallMethod( AddEqualizerFunctorialWithGivenEqualizers,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "EqualizerFunctorialWithGivenEqualizers", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( EqualizerFunctorialWithGivenEqualizers,
"EqualizerFunctorialWithGivenEqualizers by calling EqualizerFunctorial with the WithGiven argument(s) dropped",
[
[ EqualizerFunctorial, 1 ],
],
function( cat, P, morphisms, mu, morphismsp, Pp )
return EqualizerFunctorial( cat, morphisms, mu, morphismsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( EqualizerFunctorial,
"EqualizerFunctorial by calling EqualizerFunctorialWithGivenEqualizers with the WithGiven object(s)",
[
[ EqualizerFunctorialWithGivenEqualizers, 1 ],
[ Equalizer, 2 ],
],
function( cat, morphisms, mu, morphismsp )
return EqualizerFunctorialWithGivenEqualizers( cat, Equalizer( cat, Source( mu ), morphisms ), morphisms, mu, morphismsp, Equalizer( cat, Range( mu ), morphismsp ) );
end : is_with_given_derivation := true );
## FiberProduct
InstallMethod( AddFiberProduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "FiberProduct", category, func, -1 );
end );
InstallMethod( AddFiberProduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "FiberProduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## FiberProductFunctorial
InstallMethod( AddFiberProductFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "FiberProductFunctorial", category, func, -1 );
end );
InstallMethod( AddFiberProductFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "FiberProductFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## FiberProductFunctorialWithGivenFiberProducts
InstallMethod( AddFiberProductFunctorialWithGivenFiberProducts,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "FiberProductFunctorialWithGivenFiberProducts", category, func, -1 );
end );
InstallMethod( AddFiberProductFunctorialWithGivenFiberProducts,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "FiberProductFunctorialWithGivenFiberProducts", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( FiberProductFunctorialWithGivenFiberProducts,
"FiberProductFunctorialWithGivenFiberProducts by calling FiberProductFunctorial with the WithGiven argument(s) dropped",
[
[ FiberProductFunctorial, 1 ],
],
function( cat, P, morphisms, L, morphismsp, Pp )
return FiberProductFunctorial( cat, morphisms, L, morphismsp );
end : is_with_given_derivation := true );
AddDerivationToCAP( FiberProductFunctorial,
"FiberProductFunctorial by calling FiberProductFunctorialWithGivenFiberProducts with the WithGiven object(s)",
[
[ FiberProductFunctorialWithGivenFiberProducts, 1 ],
[ FiberProduct, 2 ],
],
function( cat, morphisms, L, morphismsp )
return FiberProductFunctorialWithGivenFiberProducts( cat, FiberProduct( cat, morphisms ), morphisms, L, morphismsp, FiberProduct( cat, morphismsp ) );
end : is_with_given_derivation := true );
## HomologyObject
InstallMethod( AddHomologyObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HomologyObject", category, func, -1 );
end );
InstallMethod( AddHomologyObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HomologyObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## HomologyObjectFunctorialWithGivenHomologyObjects
InstallMethod( AddHomologyObjectFunctorialWithGivenHomologyObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HomologyObjectFunctorialWithGivenHomologyObjects", category, func, -1 );
end );
InstallMethod( AddHomologyObjectFunctorialWithGivenHomologyObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HomologyObjectFunctorialWithGivenHomologyObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## HomomorphismStructureOnMorphisms
InstallMethod( AddHomomorphismStructureOnMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HomomorphismStructureOnMorphisms", category, func, -1 );
end );
InstallMethod( AddHomomorphismStructureOnMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HomomorphismStructureOnMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## HomomorphismStructureOnMorphismsWithGivenObjects
InstallMethod( AddHomomorphismStructureOnMorphismsWithGivenObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HomomorphismStructureOnMorphismsWithGivenObjects", category, func, -1 );
end );
InstallMethod( AddHomomorphismStructureOnMorphismsWithGivenObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HomomorphismStructureOnMorphismsWithGivenObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( HomomorphismStructureOnMorphismsWithGivenObjects,
"HomomorphismStructureOnMorphismsWithGivenObjects by calling HomomorphismStructureOnMorphisms with the WithGiven argument(s) dropped",
[
[ HomomorphismStructureOnMorphisms, 1 ],
],
function( cat, source, alpha, beta, range )
return HomomorphismStructureOnMorphisms( cat, alpha, beta );
end : is_with_given_derivation := true );
AddDerivationToCAP( HomomorphismStructureOnMorphisms,
"HomomorphismStructureOnMorphisms by calling HomomorphismStructureOnMorphismsWithGivenObjects with the WithGiven object(s)",
[
[ HomomorphismStructureOnMorphismsWithGivenObjects, 1 ],
[ HomomorphismStructureOnObjects, 2 ],
],
function( cat, alpha, beta )
return HomomorphismStructureOnMorphismsWithGivenObjects( cat, HomomorphismStructureOnObjects( cat, Range( alpha ), Source( beta ) ), alpha, beta, HomomorphismStructureOnObjects( cat, Source( alpha ), Range( beta ) ) );
end : is_with_given_derivation := true );
## HomomorphismStructureOnObjects
InstallMethod( AddHomomorphismStructureOnObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HomomorphismStructureOnObjects", category, func, -1 );
end );
InstallMethod( AddHomomorphismStructureOnObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HomomorphismStructureOnObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## HorizontalPostCompose
InstallMethod( AddHorizontalPostCompose,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HorizontalPostCompose", category, func, -1 );
end );
InstallMethod( AddHorizontalPostCompose,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HorizontalPostCompose", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## HorizontalPreCompose
InstallMethod( AddHorizontalPreCompose,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "HorizontalPreCompose", category, func, -1 );
end );
InstallMethod( AddHorizontalPreCompose,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "HorizontalPreCompose", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IdentityMorphism
InstallMethod( AddIdentityMorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IdentityMorphism", category, func, -1 );
end );
InstallMethod( AddIdentityMorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IdentityMorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IdentityTwoCell
InstallMethod( AddIdentityTwoCell,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IdentityTwoCell", category, func, -1 );
end );
InstallMethod( AddIdentityTwoCell,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IdentityTwoCell", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ImageEmbedding
InstallMethod( AddImageEmbedding,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ImageEmbedding", category, func, -1 );
end );
InstallMethod( AddImageEmbedding,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ImageEmbedding", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ImageEmbeddingWithGivenImageObject
InstallMethod( AddImageEmbeddingWithGivenImageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ImageEmbeddingWithGivenImageObject", category, func, -1 );
end );
InstallMethod( AddImageEmbeddingWithGivenImageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ImageEmbeddingWithGivenImageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( ImageEmbeddingWithGivenImageObject,
"ImageEmbeddingWithGivenImageObject by calling ImageEmbedding with the WithGiven argument(s) dropped",
[
[ ImageEmbedding, 1 ],
],
function( cat, alpha, I )
return ImageEmbedding( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( ImageEmbedding,
"ImageEmbedding by calling ImageEmbeddingWithGivenImageObject with the WithGiven object(s)",
[
[ ImageEmbeddingWithGivenImageObject, 1 ],
[ ImageObject, 1 ],
],
function( cat, alpha )
return ImageEmbeddingWithGivenImageObject( cat, alpha, ImageObject( cat, alpha ) );
end : is_with_given_derivation := true );
## ImageObject
InstallMethod( AddImageObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ImageObject", category, func, -1 );
end );
InstallMethod( AddImageObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ImageObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ImageObjectFunctorial
InstallMethod( AddImageObjectFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ImageObjectFunctorial", category, func, -1 );
end );
InstallMethod( AddImageObjectFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ImageObjectFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## ImageObjectFunctorialWithGivenImageObjects
InstallMethod( AddImageObjectFunctorialWithGivenImageObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "ImageObjectFunctorialWithGivenImageObjects", category, func, -1 );
end );
InstallMethod( AddImageObjectFunctorialWithGivenImageObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "ImageObjectFunctorialWithGivenImageObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( ImageObjectFunctorialWithGivenImageObjects,
"ImageObjectFunctorialWithGivenImageObjects by calling ImageObjectFunctorial with the WithGiven argument(s) dropped",
[
[ ImageObjectFunctorial, 1 ],
],
function( cat, I, alpha, nu, alphap, Ip )
return ImageObjectFunctorial( cat, alpha, nu, alphap );
end : is_with_given_derivation := true );
AddDerivationToCAP( ImageObjectFunctorial,
"ImageObjectFunctorial by calling ImageObjectFunctorialWithGivenImageObjects with the WithGiven object(s)",
[
[ ImageObjectFunctorialWithGivenImageObjects, 1 ],
[ ImageObject, 2 ],
],
function( cat, alpha, nu, alphap )
return ImageObjectFunctorialWithGivenImageObjects( cat, ImageObject( cat, alpha ), alpha, nu, alphap, ImageObject( cat, alphap ) );
end : is_with_given_derivation := true );
## IndecomposableInjectiveObjects
InstallMethod( AddIndecomposableInjectiveObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IndecomposableInjectiveObjects", category, func, -1 );
end );
InstallMethod( AddIndecomposableInjectiveObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IndecomposableInjectiveObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IndecomposableProjectiveObjects
InstallMethod( AddIndecomposableProjectiveObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IndecomposableProjectiveObjects", category, func, -1 );
end );
InstallMethod( AddIndecomposableProjectiveObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IndecomposableProjectiveObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InitialObject
InstallMethod( AddInitialObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InitialObject", category, func, -1 );
end );
InstallMethod( AddInitialObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InitialObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InitialObjectFunctorial
InstallMethod( AddInitialObjectFunctorial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InitialObjectFunctorial", category, func, -1 );
end );
InstallMethod( AddInitialObjectFunctorial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InitialObjectFunctorial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InitialObjectFunctorialWithGivenInitialObjects
InstallMethod( AddInitialObjectFunctorialWithGivenInitialObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InitialObjectFunctorialWithGivenInitialObjects", category, func, -1 );
end );
InstallMethod( AddInitialObjectFunctorialWithGivenInitialObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InitialObjectFunctorialWithGivenInitialObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InitialObjectFunctorialWithGivenInitialObjects,
"InitialObjectFunctorialWithGivenInitialObjects by calling InitialObjectFunctorial with the WithGiven argument(s) dropped",
[
[ InitialObjectFunctorial, 1 ],
],
function( cat, P, Pp )
return InitialObjectFunctorial( cat );
end : is_with_given_derivation := true );
AddDerivationToCAP( InitialObjectFunctorial,
"InitialObjectFunctorial by calling InitialObjectFunctorialWithGivenInitialObjects with the WithGiven object(s)",
[
[ InitialObjectFunctorialWithGivenInitialObjects, 1 ],
[ InitialObject, 2 ],
],
function( cat )
return InitialObjectFunctorialWithGivenInitialObjects( cat, InitialObject( cat ), InitialObject( cat ) );
end : is_with_given_derivation := true );
## InjectionOfCofactorOfCoproduct
InstallMethod( AddInjectionOfCofactorOfCoproduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfCoproduct", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfCoproduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfCoproduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InjectionOfCofactorOfCoproductWithGivenCoproduct
InstallMethod( AddInjectionOfCofactorOfCoproductWithGivenCoproduct,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfCoproductWithGivenCoproduct", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfCoproductWithGivenCoproduct,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfCoproductWithGivenCoproduct", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InjectionOfCofactorOfCoproductWithGivenCoproduct,
"InjectionOfCofactorOfCoproductWithGivenCoproduct by calling InjectionOfCofactorOfCoproduct with the WithGiven argument(s) dropped",
[
[ InjectionOfCofactorOfCoproduct, 1 ],
],
function( cat, objects, k, P )
return InjectionOfCofactorOfCoproduct( cat, objects, k );
end : is_with_given_derivation := true );
AddDerivationToCAP( InjectionOfCofactorOfCoproduct,
"InjectionOfCofactorOfCoproduct by calling InjectionOfCofactorOfCoproductWithGivenCoproduct with the WithGiven object(s)",
[
[ InjectionOfCofactorOfCoproductWithGivenCoproduct, 1 ],
[ Coproduct, 1 ],
],
function( cat, objects, k )
return InjectionOfCofactorOfCoproductWithGivenCoproduct( cat, objects, k, Coproduct( cat, objects ) );
end : is_with_given_derivation := true );
## InjectionOfCofactorOfDirectSum
InstallMethod( AddInjectionOfCofactorOfDirectSum,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfDirectSum", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfDirectSum,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfDirectSum", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InjectionOfCofactorOfDirectSumWithGivenDirectSum
InstallMethod( AddInjectionOfCofactorOfDirectSumWithGivenDirectSum,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfDirectSumWithGivenDirectSum", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfDirectSumWithGivenDirectSum,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfDirectSumWithGivenDirectSum", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InjectionOfCofactorOfDirectSumWithGivenDirectSum,
"InjectionOfCofactorOfDirectSumWithGivenDirectSum by calling InjectionOfCofactorOfDirectSum with the WithGiven argument(s) dropped",
[
[ InjectionOfCofactorOfDirectSum, 1 ],
],
function( cat, objects, k, P )
return InjectionOfCofactorOfDirectSum( cat, objects, k );
end : is_with_given_derivation := true );
AddDerivationToCAP( InjectionOfCofactorOfDirectSum,
"InjectionOfCofactorOfDirectSum by calling InjectionOfCofactorOfDirectSumWithGivenDirectSum with the WithGiven object(s)",
[
[ InjectionOfCofactorOfDirectSumWithGivenDirectSum, 1 ],
[ DirectSum, 1 ],
],
function( cat, objects, k )
return InjectionOfCofactorOfDirectSumWithGivenDirectSum( cat, objects, k, DirectSum( cat, objects ) );
end : is_with_given_derivation := true );
## InjectionOfCofactorOfPushout
InstallMethod( AddInjectionOfCofactorOfPushout,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfPushout", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfPushout,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfPushout", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InjectionOfCofactorOfPushoutWithGivenPushout
InstallMethod( AddInjectionOfCofactorOfPushoutWithGivenPushout,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectionOfCofactorOfPushoutWithGivenPushout", category, func, -1 );
end );
InstallMethod( AddInjectionOfCofactorOfPushoutWithGivenPushout,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectionOfCofactorOfPushoutWithGivenPushout", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InjectionOfCofactorOfPushoutWithGivenPushout,
"InjectionOfCofactorOfPushoutWithGivenPushout by calling InjectionOfCofactorOfPushout with the WithGiven argument(s) dropped",
[
[ InjectionOfCofactorOfPushout, 1 ],
],
function( cat, morphisms, k, P )
return InjectionOfCofactorOfPushout( cat, morphisms, k );
end : is_with_given_derivation := true );
AddDerivationToCAP( InjectionOfCofactorOfPushout,
"InjectionOfCofactorOfPushout by calling InjectionOfCofactorOfPushoutWithGivenPushout with the WithGiven object(s)",
[
[ InjectionOfCofactorOfPushoutWithGivenPushout, 1 ],
[ Pushout, 1 ],
],
function( cat, morphisms, k )
return InjectionOfCofactorOfPushoutWithGivenPushout( cat, morphisms, k, Pushout( cat, morphisms ) );
end : is_with_given_derivation := true );
## InjectiveColift
InstallMethod( AddInjectiveColift,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectiveColift", category, func, -1 );
end );
InstallMethod( AddInjectiveColift,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectiveColift", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InjectiveDimension
InstallMethod( AddInjectiveDimension,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectiveDimension", category, func, -1 );
end );
InstallMethod( AddInjectiveDimension,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectiveDimension", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InjectiveEnvelopeObject
InstallMethod( AddInjectiveEnvelopeObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InjectiveEnvelopeObject", category, func, -1 );
end );
InstallMethod( AddInjectiveEnvelopeObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InjectiveEnvelopeObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure
InstallMethod( AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure", category, func, -1 );
end );
InstallMethod( AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects
InstallMethod( AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects", category, func, -1 );
end );
InstallMethod( AddInterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects,
"InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects by calling InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure with the WithGiven argument(s) dropped",
[
[ InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure, 1 ],
],
function( cat, source, alpha, range )
return InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure,
"InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructure by calling InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects with the WithGiven object(s)",
[
[ InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects, 1 ],
[ DistinguishedObjectOfHomomorphismStructure, 1 ],
[ HomomorphismStructureOnObjects, 1 ],
],
function( cat, alpha )
return InterpretMorphismAsMorphismFromDistinguishedObjectToHomomorphismStructureWithGivenObjects( cat, DistinguishedObjectOfHomomorphismStructure( cat ), alpha, HomomorphismStructureOnObjects( cat, Source( alpha ), Range( alpha ) ) );
end : is_with_given_derivation := true );
## InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism
InstallMethod( AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism", category, func, -1 );
end );
InstallMethod( AddInterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InterpretMorphismFromDistinguishedObjectToHomomorphismStructureAsMorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InverseForMorphisms
InstallMethod( AddInverseForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InverseForMorphisms", category, func, -1 );
end );
InstallMethod( AddInverseForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InverseForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InverseOfMorphismFromCoimageToImage
InstallMethod( AddInverseOfMorphismFromCoimageToImage,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InverseOfMorphismFromCoimageToImage", category, func, -1 );
end );
InstallMethod( AddInverseOfMorphismFromCoimageToImage,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InverseOfMorphismFromCoimageToImage", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## InverseOfMorphismFromCoimageToImageWithGivenObjects
InstallMethod( AddInverseOfMorphismFromCoimageToImageWithGivenObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "InverseOfMorphismFromCoimageToImageWithGivenObjects", category, func, -1 );
end );
InstallMethod( AddInverseOfMorphismFromCoimageToImageWithGivenObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "InverseOfMorphismFromCoimageToImageWithGivenObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
AddDerivationToCAP( InverseOfMorphismFromCoimageToImageWithGivenObjects,
"InverseOfMorphismFromCoimageToImageWithGivenObjects by calling InverseOfMorphismFromCoimageToImage with the WithGiven argument(s) dropped",
[
[ InverseOfMorphismFromCoimageToImage, 1 ],
],
function( cat, I, alpha, C )
return InverseOfMorphismFromCoimageToImage( cat, alpha );
end : is_with_given_derivation := true );
AddDerivationToCAP( InverseOfMorphismFromCoimageToImage,
"InverseOfMorphismFromCoimageToImage by calling InverseOfMorphismFromCoimageToImageWithGivenObjects with the WithGiven object(s)",
[
[ InverseOfMorphismFromCoimageToImageWithGivenObjects, 1 ],
[ ImageObject, 1 ],
[ CoimageObject, 1 ],
],
function( cat, alpha )
return InverseOfMorphismFromCoimageToImageWithGivenObjects( cat, ImageObject( cat, alpha ), alpha, CoimageObject( cat, alpha ) );
end : is_with_given_derivation := true );
## IsAutomorphism
InstallMethod( AddIsAutomorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsAutomorphism", category, func, -1 );
end );
InstallMethod( AddIsAutomorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsAutomorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsBijectiveObject
InstallMethod( AddIsBijectiveObject,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsBijectiveObject", category, func, -1 );
end );
InstallMethod( AddIsBijectiveObject,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsBijectiveObject", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsCodominating
InstallMethod( AddIsCodominating,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsCodominating", category, func, -1 );
end );
InstallMethod( AddIsCodominating,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsCodominating", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsColiftable
InstallMethod( AddIsColiftable,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsColiftable", category, func, -1 );
end );
InstallMethod( AddIsColiftable,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsColiftable", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsColiftableAlongEpimorphism
InstallMethod( AddIsColiftableAlongEpimorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsColiftableAlongEpimorphism", category, func, -1 );
end );
InstallMethod( AddIsColiftableAlongEpimorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsColiftableAlongEpimorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsCongruentForMorphisms
InstallMethod( AddIsCongruentForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsCongruentForMorphisms", category, func, -1 );
end );
InstallMethod( AddIsCongruentForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsCongruentForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsDominating
InstallMethod( AddIsDominating,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsDominating", category, func, -1 );
end );
InstallMethod( AddIsDominating,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsDominating", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEndomorphism
InstallMethod( AddIsEndomorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEndomorphism", category, func, -1 );
end );
InstallMethod( AddIsEndomorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEndomorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEpimorphism
InstallMethod( AddIsEpimorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEpimorphism", category, func, -1 );
end );
InstallMethod( AddIsEpimorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEpimorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualAsFactorobjects
InstallMethod( AddIsEqualAsFactorobjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualAsFactorobjects", category, func, -1 );
end );
InstallMethod( AddIsEqualAsFactorobjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualAsFactorobjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualAsSubobjects
InstallMethod( AddIsEqualAsSubobjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualAsSubobjects", category, func, -1 );
end );
InstallMethod( AddIsEqualAsSubobjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualAsSubobjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualForCacheForMorphisms
InstallMethod( AddIsEqualForCacheForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualForCacheForMorphisms", category, func, -1 );
end );
InstallMethod( AddIsEqualForCacheForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualForCacheForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualForCacheForObjects
InstallMethod( AddIsEqualForCacheForObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualForCacheForObjects", category, func, -1 );
end );
InstallMethod( AddIsEqualForCacheForObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualForCacheForObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualForMorphisms
InstallMethod( AddIsEqualForMorphisms,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualForMorphisms", category, func, -1 );
end );
InstallMethod( AddIsEqualForMorphisms,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualForMorphismsOnMor
InstallMethod( AddIsEqualForMorphismsOnMor,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualForMorphismsOnMor", category, func, -1 );
end );
InstallMethod( AddIsEqualForMorphismsOnMor,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualForMorphismsOnMor", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualForObjects
InstallMethod( AddIsEqualForObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualForObjects", category, func, -1 );
end );
InstallMethod( AddIsEqualForObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualForObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualToIdentityMorphism
InstallMethod( AddIsEqualToIdentityMorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualToIdentityMorphism", category, func, -1 );
end );
InstallMethod( AddIsEqualToIdentityMorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualToIdentityMorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsEqualToZeroMorphism
InstallMethod( AddIsEqualToZeroMorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsEqualToZeroMorphism", category, func, -1 );
end );
InstallMethod( AddIsEqualToZeroMorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsEqualToZeroMorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsHomSetInhabited
InstallMethod( AddIsHomSetInhabited,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsHomSetInhabited", category, func, -1 );
end );
InstallMethod( AddIsHomSetInhabited,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsHomSetInhabited", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsIdempotent
InstallMethod( AddIsIdempotent,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsIdempotent", category, func, -1 );
end );
InstallMethod( AddIsIdempotent,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsIdempotent", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsInitial
InstallMethod( AddIsInitial,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsInitial", category, func, -1 );
end );
InstallMethod( AddIsInitial,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsInitial", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsInjective
InstallMethod( AddIsInjective,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsInjective", category, func, -1 );
end );
InstallMethod( AddIsInjective,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsInjective", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsIsomorphicForObjects
InstallMethod( AddIsIsomorphicForObjects,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsIsomorphicForObjects", category, func, -1 );
end );
InstallMethod( AddIsIsomorphicForObjects,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsIsomorphicForObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsIsomorphism
InstallMethod( AddIsIsomorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsIsomorphism", category, func, -1 );
end );
InstallMethod( AddIsIsomorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsIsomorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsLiftable
InstallMethod( AddIsLiftable,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsLiftable", category, func, -1 );
end );
InstallMethod( AddIsLiftable,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsLiftable", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsLiftableAlongMonomorphism
InstallMethod( AddIsLiftableAlongMonomorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsLiftableAlongMonomorphism", category, func, -1 );
end );
InstallMethod( AddIsLiftableAlongMonomorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsLiftableAlongMonomorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsMonomorphism
InstallMethod( AddIsMonomorphism,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsMonomorphism", category, func, -1 );
end );
InstallMethod( AddIsMonomorphism,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsMonomorphism", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsOne
InstallMethod( AddIsOne,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsOne", category, func, -1 );
end );
InstallMethod( AddIsOne,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsOne", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
end
)
);
## IsProjective
InstallMethod( AddIsProjective,
[ IsCapCategory, IsFunction ],
function( category, func )
AddCapOperation( "IsProjective", category, func, -1 );
end );
InstallMethod( AddIsProjective,
[ IsCapCategory, IsFunction, IsInt ],
FunctionWithNamedArguments(
[
[ "IsPrecompiledDerivation", false ],
],
function( CAP_NAMED_ARGUMENTS, category, func, weight )
AddCapOperation( "IsProjective", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
