Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gap-cap | Distribution: openSUSE Tumbleweed |
Version: 2025.09.04 | Vendor: openSUSE |
Release: 1.1 | Build date: Sat Oct 11 19:45:39 2025 |
Group: Productivity/Scientific/Math | Build host: reproducible |
Size: 7823644 | Source RPM: gap-cap-2025.09.04-1.1.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: https://homalg-project.github.io/pkg/CAP | |
Summary: GAP: Categories, Algorithms and Programming |
CAP is a package for category theory. It facilitates the implementation of specific instances of categories and provides a language for writing generic categorical algorithms.
GPL-2.0-only
* Sat Oct 11 2025 Jan Engelhardt <jengelh@inai.de> - Update to release 2025.09.04 * No changelog was provided * Mon Dec 30 2024 Jan Engelhardt <jengelh@inai.de> - Update to release 2024.11.02 * No changelog was provided * Wed Sep 11 2024 Jan Engelhardt <jengelh@inai.de> - Update to release 2024.09.08 * the opposite category constructor now respects the enrichment of the input category * Restore the previous behavior of only_primitive_operations for Opposite * Attach a ring instance to the data types of rings and their elements * Allow to specify weights of operations in CategoryConstructor * Require additional filters to be dense lists of the expected length * Sat Mar 23 2024 Jan Engelhardt <jengelh@inai.de> - Update to release 2024.03.02 * No changelog was provided * Sat Feb 11 2023 Jan Engelhardt <jengelh@inai.de> - Update to release 2023.02.06 * No changelog was provided * Sat Nov 19 2022 Jan Engelhardt <jengelh@inai.de> - Update to release 2022.10.06 * Derive ZeroMorphism as the empty sum of morphisms * Make FreydCategoriesForCAP independent of LinearAlgebraForCAP * Wed Nov 14 2018 Jan Engelhardt <jengelh@inai.de> - Update to new upstream release 2018.08.31 * No changelog was provided * Fri Dec 22 2017 jengelh@inai.de - Initial package (version 2017.09.25) for build.opensuse.org
/usr/share/gap /usr/share/gap/pkg /usr/share/gap/pkg/CAP-2025.09-04 /usr/share/gap/pkg/CAP-2025.09-04/GeneralizedAddMethod.md /usr/share/gap/pkg/CAP-2025.09-04/IDEAS /usr/share/gap/pkg/CAP-2025.09-04/LICENSE /usr/share/gap/pkg/CAP-2025.09-04/LOGIC_SYNTAX_IDEAS /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForAbCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForAbCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/PropositionsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForAbCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/LogicForCategories/RelationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2025.09-04/PackageInfo.g /usr/share/gap/pkg/CAP-2025.09-04/README.md /usr/share/gap/pkg/CAP-2025.09-04/TODO /usr/share/gap/pkg/CAP-2025.09-04/doc /usr/share/gap/pkg/CAP-2025.09-04/doc/AddFunctions.autodoc /usr/share/gap/pkg/CAP-2025.09-04/doc/CAP.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/Doc.autodoc /usr/share/gap/pkg/CAP-2025.09-04/doc/Limits.autodoc /usr/share/gap/pkg/CAP-2025.09-04/doc/_AutoDocMainFile.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Add_Functions.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_CAP_Categories.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_CAP_automatic_generated_documentation.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Category_2-Cells.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Category_of_Categories.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Create_wrapper_hulls_of_a_category.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Dummy_implementations.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Examples_and_Tests.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Finite_skeletal_discrete_categories.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Limits_and_Colimits.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Managing_Derived_Methods.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Morphisms.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Objects.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Reinterpretations_of_categories.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Technical_Details.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Terminal_category.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_The_Category_Constructor.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chapter_Universal_Objects.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_Chunks.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/_entities.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/chap0.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap0.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap0_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap1.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap1.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap10.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap10.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap10_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap11.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap11.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap11_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap12.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap12.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap12_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap13.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap13.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap13_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap14.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap14.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap14_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap15.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap15.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap15_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap16.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap16.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap16_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap17.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap17.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap17_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap18.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap18.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap18_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap1_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap2.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap2.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap2_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap3.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap3.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap3_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap4.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap4.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap4_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap5.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap5.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap5_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap6.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap6.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap6_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap7.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap7.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap7_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap8.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap8.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap8_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap9.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chap9.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chap9_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chapInd.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chapInd.txt /usr/share/gap/pkg/CAP-2025.09-04/doc/chapInd_mj.html /usr/share/gap/pkg/CAP-2025.09-04/doc/chooser.html /usr/share/gap/pkg/CAP-2025.09-04/doc/lefttoc.css /usr/share/gap/pkg/CAP-2025.09-04/doc/manual.css /usr/share/gap/pkg/CAP-2025.09-04/doc/manual.js /usr/share/gap/pkg/CAP-2025.09-04/doc/manual.lab /usr/share/gap/pkg/CAP-2025.09-04/doc/manual.pdf /usr/share/gap/pkg/CAP-2025.09-04/doc/manual.six /usr/share/gap/pkg/CAP-2025.09-04/doc/nocolorprompt.css /usr/share/gap/pkg/CAP-2025.09-04/doc/ragged.css /usr/share/gap/pkg/CAP-2025.09-04/doc/rainbow.js /usr/share/gap/pkg/CAP-2025.09-04/doc/times.css /usr/share/gap/pkg/CAP-2025.09-04/doc/title.xml /usr/share/gap/pkg/CAP-2025.09-04/doc/toggless.css /usr/share/gap/pkg/CAP-2025.09-04/doc/toggless.js /usr/share/gap/pkg/CAP-2025.09-04/examples /usr/share/gap/pkg/CAP-2025.09-04/examples/CacheTest.g /usr/share/gap/pkg/CAP-2025.09-04/examples/DummyCategory.g /usr/share/gap/pkg/CAP-2025.09-04/examples/FiniteSkeletalDiscreteCategory.g /usr/share/gap/pkg/CAP-2025.09-04/examples/Functors.g /usr/share/gap/pkg/CAP-2025.09-04/examples/HandlePrecompiledTowers.g /usr/share/gap/pkg/CAP-2025.09-04/examples/IntegerCategory.g /usr/share/gap/pkg/CAP-2025.09-04/examples/Schemes.g /usr/share/gap/pkg/CAP-2025.09-04/examples/TerminalCategoryWithMultipleObjects.g /usr/share/gap/pkg/CAP-2025.09-04/examples/TerminalCategoryWithSingleObject.g /usr/share/gap/pkg/CAP-2025.09-04/examples/dummy_rings.g /usr/share/gap/pkg/CAP-2025.09-04/gap /usr/share/gap/pkg/CAP-2025.09-04/gap/CAP.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CAP.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoriesCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoriesCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryConstructor.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryConstructor.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryMorphisms.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryMorphisms.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryMorphismsOperations.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryMorphismsOperations.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryObjects.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryObjects.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryObjectsOperations.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryObjectsOperations.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryTwoCells.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryTwoCells.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryTwoCellsOperations.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/CategoryTwoCellsOperations.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/ConstructiveCategoriesRecord.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/ConstructiveCategoriesRecord.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/Derivations.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/Derivations.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/DerivedMethods.autogen.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/DerivedMethods.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/DummyImplementations.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/DummyImplementations.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/DummyImplementationsOfMatricesForHomalg.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/DummyImplementationsOfMatricesForHomalg.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/Finalize.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/Finalize.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/FiniteSkeletalDiscreteCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/FiniteSkeletalDiscreteCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/InstallAdds.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/InstallAdds.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/LimitConvenience.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/LimitConvenience.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/LimitConvenienceOutput.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/LogicForCAP.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/LogicForCAP.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/MethodRecord.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/MethodRecordDeclarations.autogen.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/MethodRecordInstallations.autogen.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/MethodRecordTools.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/MethodRecordTools.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/OppositeCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/OppositeCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/PrepareFunctions.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/PrepareFunctionsTools.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/PrepareFunctionsTools.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/PrintingFunctions.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/PrintingFunctions.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/ProductCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/ProductCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/ReinterpretationOfCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/ReinterpretationOfCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/TerminalCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/TerminalCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/TheoremParser.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/TheoremParser.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/ToolsForCategories.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/ToolsForCategories.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/UniversalObjects.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/UniversalObjects.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/WrapperCategory.gd /usr/share/gap/pkg/CAP-2025.09-04/gap/WrapperCategory.gi /usr/share/gap/pkg/CAP-2025.09-04/gap/init.gi /usr/share/gap/pkg/CAP-2025.09-04/help_for_CAP.md /usr/share/gap/pkg/CAP-2025.09-04/init.g /usr/share/gap/pkg/CAP-2025.09-04/makedoc.g /usr/share/gap/pkg/CAP-2025.09-04/makedoc_with_overfull_hbox_warnings.g /usr/share/gap/pkg/CAP-2025.09-04/makefile /usr/share/gap/pkg/CAP-2025.09-04/read.g /usr/share/gap/pkg/CAP-2025.09-04/tst /usr/share/gap/pkg/CAP-2025.09-04/tst/100_LoadPackage.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/IsWellDefinedForMorphismsWithGivenSourceAndRange.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/ListWithKeys.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/Simplify.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap01.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap02.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap03.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap04.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap05.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap06.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap07.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap08.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap09.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap10.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap11.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap12.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/cap13.tst /usr/share/gap/pkg/CAP-2025.09-04/tst/testall.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 16 22:27:38 2025