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: 2024.11.02 | Vendor: openSUSE |
Release: 1.1 | Build date: Mon Dec 30 21:25:03 2024 |
Group: Productivity/Scientific/Math | Build host: reproducible |
Size: 7565893 | Source RPM: gap-cap-2024.11.02-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
* 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-2024.11-02 /usr/share/gap/pkg/CAP-2024.11-02/GeneralizedAddMethod.md /usr/share/gap/pkg/CAP-2024.11-02/IDEAS /usr/share/gap/pkg/CAP-2024.11-02/LICENSE /usr/share/gap/pkg/CAP-2024.11-02/LOGIC_SYNTAX_IDEAS /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/PropositionsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForAbCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/LogicForCategories/RelationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2024.11-02/PackageInfo.g /usr/share/gap/pkg/CAP-2024.11-02/README.md /usr/share/gap/pkg/CAP-2024.11-02/TODO /usr/share/gap/pkg/CAP-2024.11-02/doc /usr/share/gap/pkg/CAP-2024.11-02/doc/AddFunctions.autodoc /usr/share/gap/pkg/CAP-2024.11-02/doc/CAP.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/Doc.autodoc /usr/share/gap/pkg/CAP-2024.11-02/doc/Limits.autodoc /usr/share/gap/pkg/CAP-2024.11-02/doc/_AutoDocMainFile.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Add_Functions.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_CAP_Categories.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Category_2-Cells.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Category_of_Categories.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Create_wrapper_hulls_of_a_category.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Dummy_implementations.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Examples_and_Tests.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Limits_and_Colimits.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Managing_Derived_Methods.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Morphisms.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Objects.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Reinterpretations_of_categories.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Technical_Details.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Terminal_category.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_The_Category_Constructor.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chapter_Universal_Objects.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_Chunks.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/_entities.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/chap0.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap0.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap0_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap1.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap1.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap10.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap10.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap10_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap11.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap11.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap11_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap12.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap12.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap12_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap13.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap13.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap13_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap14.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap14.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap14_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap15.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap15.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap15_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap16.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap16.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap16_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap1_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap2.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap2.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap2_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap3.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap3.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap3_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap4.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap4.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap4_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap5.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap5.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap5_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap6.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap6.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap6_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap7.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap7.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap7_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap8.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap8.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap8_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap9.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chap9.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chap9_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chapInd.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chapInd.txt /usr/share/gap/pkg/CAP-2024.11-02/doc/chapInd_mj.html /usr/share/gap/pkg/CAP-2024.11-02/doc/chooser.html /usr/share/gap/pkg/CAP-2024.11-02/doc/lefttoc.css /usr/share/gap/pkg/CAP-2024.11-02/doc/manual.css /usr/share/gap/pkg/CAP-2024.11-02/doc/manual.js /usr/share/gap/pkg/CAP-2024.11-02/doc/manual.lab /usr/share/gap/pkg/CAP-2024.11-02/doc/manual.pdf /usr/share/gap/pkg/CAP-2024.11-02/doc/manual.six /usr/share/gap/pkg/CAP-2024.11-02/doc/nocolorprompt.css /usr/share/gap/pkg/CAP-2024.11-02/doc/ragged.css /usr/share/gap/pkg/CAP-2024.11-02/doc/rainbow.js /usr/share/gap/pkg/CAP-2024.11-02/doc/times.css /usr/share/gap/pkg/CAP-2024.11-02/doc/title.xml /usr/share/gap/pkg/CAP-2024.11-02/doc/toggless.css /usr/share/gap/pkg/CAP-2024.11-02/doc/toggless.js /usr/share/gap/pkg/CAP-2024.11-02/examples /usr/share/gap/pkg/CAP-2024.11-02/examples/CacheTest.g /usr/share/gap/pkg/CAP-2024.11-02/examples/DummyCategory.g /usr/share/gap/pkg/CAP-2024.11-02/examples/Functors.g /usr/share/gap/pkg/CAP-2024.11-02/examples/HandlePrecompiledTowers.g /usr/share/gap/pkg/CAP-2024.11-02/examples/IntegerCategory.g /usr/share/gap/pkg/CAP-2024.11-02/examples/Schemes.g /usr/share/gap/pkg/CAP-2024.11-02/examples/TerminalCategoryWithMultipleObjects.g /usr/share/gap/pkg/CAP-2024.11-02/examples/TerminalCategoryWithSingleObject.g /usr/share/gap/pkg/CAP-2024.11-02/examples/dummy_rings.g /usr/share/gap/pkg/CAP-2024.11-02/gap /usr/share/gap/pkg/CAP-2024.11-02/gap/CAP.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CAP.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoriesCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoriesCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryConstructor.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryConstructor.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryMorphisms.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryMorphisms.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryMorphismsOperations.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryMorphismsOperations.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryObjects.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryObjects.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryObjectsOperations.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryObjectsOperations.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryTwoCells.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryTwoCells.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryTwoCellsOperations.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/CategoryTwoCellsOperations.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/ConstructiveCategoriesRecord.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/ConstructiveCategoriesRecord.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/Derivations.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/Derivations.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/DerivedMethods.autogen.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/DerivedMethods.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/DummyImplementations.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/DummyImplementations.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/DummyImplementationsOfMatricesForHomalg.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/DummyImplementationsOfMatricesForHomalg.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/Finalize.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/Finalize.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/InstallAdds.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/InstallAdds.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/LimitConvenience.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/LimitConvenience.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/LimitConvenienceOutput.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/LogicForCAP.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/LogicForCAP.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/MethodRecord.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/MethodRecordDeclarations.autogen.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/MethodRecordInstallations.autogen.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/MethodRecordTools.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/MethodRecordTools.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/OppositeCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/OppositeCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/PrepareFunctions.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/PrepareFunctionsTools.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/PrepareFunctionsTools.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/PrintingFunctions.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/PrintingFunctions.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/ProductCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/ProductCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/ReinterpretationOfCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/ReinterpretationOfCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/TerminalCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/TerminalCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/TheoremParser.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/TheoremParser.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/ToolsForCategories.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/ToolsForCategories.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/UniversalObjects.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/UniversalObjects.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/WrapperCategory.gd /usr/share/gap/pkg/CAP-2024.11-02/gap/WrapperCategory.gi /usr/share/gap/pkg/CAP-2024.11-02/gap/init.gi /usr/share/gap/pkg/CAP-2024.11-02/help_for_CAP.md /usr/share/gap/pkg/CAP-2024.11-02/init.g /usr/share/gap/pkg/CAP-2024.11-02/makedoc.g /usr/share/gap/pkg/CAP-2024.11-02/makedoc_with_overfull_hbox_warnings.g /usr/share/gap/pkg/CAP-2024.11-02/makefile /usr/share/gap/pkg/CAP-2024.11-02/read.g /usr/share/gap/pkg/CAP-2024.11-02/tst /usr/share/gap/pkg/CAP-2024.11-02/tst/100_LoadPackage.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/IsWellDefinedForMorphismsWithGivenSourceAndRange.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/ListWithKeys.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/Simplify.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap01.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap02.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap03.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap04.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap05.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap06.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap07.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap08.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap09.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap10.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap11.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/cap12.tst /usr/share/gap/pkg/CAP-2024.11-02/tst/testall.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Feb 12 23:53:52 2025