| 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 Leap 16.0 |
| Version: 2024.09.08 | Vendor: openSUSE |
| Release: lp160.1.1 | Build date: Wed Sep 11 17:30:19 2024 |
| Group: Productivity/Scientific/Math | Build host: reproducible |
| Size: 7348728 | Source RPM: gap-cap-2024.09.08-lp160.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
* Wed Sep 11 2024 Jan Engelhardt <[email protected]>
- 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 <[email protected]>
- Update to release 2024.03.02
* No changelog was provided
* Sat Feb 11 2023 Jan Engelhardt <[email protected]>
- Update to release 2023.02.06
* No changelog was provided
* Sat Nov 19 2022 Jan Engelhardt <[email protected]>
- 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 <[email protected]>
- Update to new upstream release 2018.08.31
* No changelog was provided
* Fri Dec 22 2017 [email protected]
- Initial package (version 2017.09.25) for build.opensuse.org
/usr/share/gap /usr/share/gap/pkg /usr/share/gap/pkg/CAP-2024.09-08 /usr/share/gap/pkg/CAP-2024.09-08/GeneralizedAddMethod.md /usr/share/gap/pkg/CAP-2024.09-08/IDEAS /usr/share/gap/pkg/CAP-2024.09-08/LICENSE /usr/share/gap/pkg/CAP-2024.09-08/LOGIC_SYNTAX_IDEAS /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/PropositionsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/LogicForCategories/RelationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.09-08/PackageInfo.g /usr/share/gap/pkg/CAP-2024.09-08/README.md /usr/share/gap/pkg/CAP-2024.09-08/TODO /usr/share/gap/pkg/CAP-2024.09-08/doc /usr/share/gap/pkg/CAP-2024.09-08/doc/AddFunctions.autodoc /usr/share/gap/pkg/CAP-2024.09-08/doc/CAP.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/Doc.autodoc /usr/share/gap/pkg/CAP-2024.09-08/doc/Limits.autodoc /usr/share/gap/pkg/CAP-2024.09-08/doc/_AutoDocMainFile.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Add_Functions.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_CAP_Categories.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Category_2-Cells.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Category_of_Categories.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Create_wrapper_hulls_of_a_category.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Dummy_implementations.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Examples_and_Tests.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Limits_and_Colimits.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Managing_Derived_Methods.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Morphisms.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Objects.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Reinterpretations_of_categories.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Technical_Details.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Terminal_category.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_The_Category_Constructor.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chapter_Universal_Objects.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_Chunks.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/_entities.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/chap0.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap0.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap0_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap1.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap1.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap10.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap10.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap10_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap11.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap11.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap11_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap12.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap12.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap12_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap13.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap13.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap13_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap14.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap14.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap14_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap15.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap15.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap15_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap16.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap16.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap16_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap1_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap2.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap2.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap2_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap3.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap3.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap3_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap4.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap4.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap4_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap5.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap5.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap5_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap6.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap6.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap6_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap7.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap7.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap7_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap8.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap8.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap8_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap9.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chap9.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chap9_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chapInd.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chapInd.txt /usr/share/gap/pkg/CAP-2024.09-08/doc/chapInd_mj.html /usr/share/gap/pkg/CAP-2024.09-08/doc/chooser.html /usr/share/gap/pkg/CAP-2024.09-08/doc/lefttoc.css /usr/share/gap/pkg/CAP-2024.09-08/doc/manual.css /usr/share/gap/pkg/CAP-2024.09-08/doc/manual.js /usr/share/gap/pkg/CAP-2024.09-08/doc/manual.lab /usr/share/gap/pkg/CAP-2024.09-08/doc/manual.pdf /usr/share/gap/pkg/CAP-2024.09-08/doc/manual.six /usr/share/gap/pkg/CAP-2024.09-08/doc/nocolorprompt.css /usr/share/gap/pkg/CAP-2024.09-08/doc/ragged.css /usr/share/gap/pkg/CAP-2024.09-08/doc/rainbow.js /usr/share/gap/pkg/CAP-2024.09-08/doc/times.css /usr/share/gap/pkg/CAP-2024.09-08/doc/title.xml /usr/share/gap/pkg/CAP-2024.09-08/doc/toggless.css /usr/share/gap/pkg/CAP-2024.09-08/doc/toggless.js /usr/share/gap/pkg/CAP-2024.09-08/examples /usr/share/gap/pkg/CAP-2024.09-08/examples/CacheTest.g /usr/share/gap/pkg/CAP-2024.09-08/examples/DummyCategory.g /usr/share/gap/pkg/CAP-2024.09-08/examples/Functors.g /usr/share/gap/pkg/CAP-2024.09-08/examples/HandlePrecompiledTowers.g /usr/share/gap/pkg/CAP-2024.09-08/examples/IntegerCategory.g /usr/share/gap/pkg/CAP-2024.09-08/examples/Schemes.g /usr/share/gap/pkg/CAP-2024.09-08/examples/TerminalCategoryWithMultipleObjects.g /usr/share/gap/pkg/CAP-2024.09-08/examples/TerminalCategoryWithSingleObject.g /usr/share/gap/pkg/CAP-2024.09-08/examples/dummy_rings.g /usr/share/gap/pkg/CAP-2024.09-08/gap /usr/share/gap/pkg/CAP-2024.09-08/gap/AddFunctions.autogen.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CAP.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CAP.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoriesCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoriesCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryConstructor.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryConstructor.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryMorphisms.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryMorphisms.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryMorphismsOperations.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryMorphismsOperations.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryObjects.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryObjects.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryObjectsOperations.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryObjectsOperations.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryTwoCells.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryTwoCells.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryTwoCellsOperations.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/CategoryTwoCellsOperations.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/ConstructiveCategoriesRecord.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/ConstructiveCategoriesRecord.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/Derivations.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/Derivations.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/DerivedMethods.autogen.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/DerivedMethods.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/DummyImplementations.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/DummyImplementations.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/DummyImplementationsOfMatricesForHomalg.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/DummyImplementationsOfMatricesForHomalg.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/Finalize.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/Finalize.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/InstallAdds.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/InstallAdds.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/LimitConvenience.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/LimitConvenience.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/LimitConvenienceOutput.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/LogicForCAP.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/LogicForCAP.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/MethodRecord.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/MethodRecordTools.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/MethodRecordTools.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/OppositeCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/OppositeCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/PrepareFunctions.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/PrepareFunctionsTools.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/PrepareFunctionsTools.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/PrintingFunctions.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/PrintingFunctions.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/ProductCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/ProductCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/ReinterpretationOfCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/ReinterpretationOfCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/TerminalCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/TerminalCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/TheoremParser.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/TheoremParser.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/ToolsForCategories.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/ToolsForCategories.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/UniversalObjects.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/UniversalObjects.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/WrapperCategory.gd /usr/share/gap/pkg/CAP-2024.09-08/gap/WrapperCategory.gi /usr/share/gap/pkg/CAP-2024.09-08/gap/init.gi /usr/share/gap/pkg/CAP-2024.09-08/help_for_CAP.md /usr/share/gap/pkg/CAP-2024.09-08/init.g /usr/share/gap/pkg/CAP-2024.09-08/makedoc.g /usr/share/gap/pkg/CAP-2024.09-08/makedoc_with_overfull_hbox_warnings.g /usr/share/gap/pkg/CAP-2024.09-08/makefile /usr/share/gap/pkg/CAP-2024.09-08/read.g /usr/share/gap/pkg/CAP-2024.09-08/tst /usr/share/gap/pkg/CAP-2024.09-08/tst/100_LoadPackage.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/IsWellDefinedForMorphismsWithGivenSourceAndRange.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/ListWithKeys.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/Simplify.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap01.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap02.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap03.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap04.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap05.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap06.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap07.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap08.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap09.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap10.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap11.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/cap12.tst /usr/share/gap/pkg/CAP-2024.09-08/tst/testall.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Feb 22 00:10:27 2025