Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gap-cap-2024.03.02-1.2 RPM for noarch

From OpenSuSE Tumbleweed for noarch

Name: gap-cap Distribution: openSUSE Tumbleweed
Version: 2024.03.02 Vendor: openSUSE
Release: 1.2 Build date: Sat Mar 23 22:24:48 2024
Group: Productivity/Scientific/Math Build host: reproducible
Size: 6852532 Source RPM: gap-cap-2024.03.02-1.2.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.

Provides

Requires

License

GPL-2.0-only

Changelog

* 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

Files

/usr/share/gap
/usr/share/gap/pkg
/usr/share/gap/pkg/CAP-2024.03-02
/usr/share/gap/pkg/CAP-2024.03-02/GeneralizedAddMethod.md
/usr/share/gap/pkg/CAP-2024.03-02/IDEAS
/usr/share/gap/pkg/CAP-2024.03-02/LICENSE
/usr/share/gap/pkg/CAP-2024.03-02/LOGIC_SYNTAX_IDEAS
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/PropositionsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAbCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAbelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForAdditiveCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForGeneralCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/LogicForCategories/RelationsForPreabelianCategories.tex
/usr/share/gap/pkg/CAP-2024.03-02/PackageInfo.g
/usr/share/gap/pkg/CAP-2024.03-02/README.md
/usr/share/gap/pkg/CAP-2024.03-02/TODO
/usr/share/gap/pkg/CAP-2024.03-02/doc
/usr/share/gap/pkg/CAP-2024.03-02/doc/AddFunctions.autodoc
/usr/share/gap/pkg/CAP-2024.03-02/doc/CAP.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/Doc.autodoc
/usr/share/gap/pkg/CAP-2024.03-02/doc/Limits.autodoc
/usr/share/gap/pkg/CAP-2024.03-02/doc/_AutoDocMainFile.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Add_Functions.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_CAP_Categories.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Category_2-Cells.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Category_of_Categories.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Create_wrapper_hulls_of_a_category.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Dummy_implementations.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Examples_and_Tests.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Limits_and_Colimits.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Managing_Derived_Methods.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Morphisms.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Objects.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Reinterpretations_of_categories.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Technical_Details.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Terminal_category.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_The_Category_Constructor.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chapter_Universal_Objects.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_Chunks.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/_entities.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap0.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap0.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap0_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap1.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap1.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap10.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap10.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap10_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap11.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap11.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap11_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap12.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap12.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap12_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap13.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap13.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap13_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap14.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap14.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap14_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap15.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap15.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap15_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap16.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap16.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap16_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap1_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap2.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap2.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap2_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap3.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap3.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap3_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap4.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap4.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap4_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap5.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap5.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap5_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap6.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap6.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap6_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap7.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap7.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap7_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap8.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap8.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap8_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap9.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap9.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chap9_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chapInd.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chapInd.txt
/usr/share/gap/pkg/CAP-2024.03-02/doc/chapInd_mj.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/chooser.html
/usr/share/gap/pkg/CAP-2024.03-02/doc/lefttoc.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/manual.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/manual.js
/usr/share/gap/pkg/CAP-2024.03-02/doc/manual.lab
/usr/share/gap/pkg/CAP-2024.03-02/doc/manual.pdf
/usr/share/gap/pkg/CAP-2024.03-02/doc/manual.six
/usr/share/gap/pkg/CAP-2024.03-02/doc/nocolorprompt.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/ragged.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/rainbow.js
/usr/share/gap/pkg/CAP-2024.03-02/doc/times.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/title.xml
/usr/share/gap/pkg/CAP-2024.03-02/doc/toggless.css
/usr/share/gap/pkg/CAP-2024.03-02/doc/toggless.js
/usr/share/gap/pkg/CAP-2024.03-02/examples
/usr/share/gap/pkg/CAP-2024.03-02/examples/ActionsTest.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/CacheTest.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/DummyCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/FieldAsCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/Functors.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/HandlePrecompiledTowers.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/HomStructureTest.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/HomologyObject.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/IntegerCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/Liftable.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/LinearAlgebraMissingsOperations.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/MatricesGrowthTest.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/MatrixCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/ModulePresentationsMonoidalCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/MorphismBetweenDirectSums.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/MorphismToSink_MorphismFromSource.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/OppositeCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/PreComposeList.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/Schemes.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/Simplify.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/StringsAsCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/TerminalCategoryWithMultipleObjects.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/TerminalCategoryWithSingleObject.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/WrapperCategory.g
/usr/share/gap/pkg/CAP-2024.03-02/examples/dummy_rings.g
/usr/share/gap/pkg/CAP-2024.03-02/gap
/usr/share/gap/pkg/CAP-2024.03-02/gap/AddFunctions.autogen.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CAP.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CAP.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoriesCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoriesCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryConstructor.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryConstructor.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryMorphisms.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryMorphisms.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryObjects.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryObjects.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryTwoCells.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/CategoryTwoCells.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/ConstructiveCategoriesRecord.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/ConstructiveCategoriesRecord.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/Derivations.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/Derivations.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/DerivedMethods.autogen.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/DerivedMethods.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/DummyImplementations.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/DummyImplementations.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/Finalize.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/Finalize.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/InstallAdds.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/InstallAdds.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/LimitConvenience.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/LimitConvenience.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/LimitConvenienceOutput.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/LogicForCAP.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/LogicForCAP.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/MethodRecord.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/MethodRecord.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/OppositeCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/OppositeCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/PrepareFunctions.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/PrepareFunctions.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/PrintingFunctions.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/PrintingFunctions.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/ProductCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/ProductCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/ReinterpretationOfCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/ReinterpretationOfCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/TerminalCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/TerminalCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/TheoremParser.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/TheoremParser.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/ToolsForCategories.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/ToolsForCategories.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/ToolsForCategories_AfterLoading.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/UniversalObjects.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/UniversalObjects.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/WrapperCategory.gd
/usr/share/gap/pkg/CAP-2024.03-02/gap/WrapperCategory.gi
/usr/share/gap/pkg/CAP-2024.03-02/gap/init.gi
/usr/share/gap/pkg/CAP-2024.03-02/help_for_CAP.md
/usr/share/gap/pkg/CAP-2024.03-02/init.g
/usr/share/gap/pkg/CAP-2024.03-02/makedoc.g
/usr/share/gap/pkg/CAP-2024.03-02/makedoc_with_overfull_hbox_warnings.g
/usr/share/gap/pkg/CAP-2024.03-02/makefile
/usr/share/gap/pkg/CAP-2024.03-02/read.g
/usr/share/gap/pkg/CAP-2024.03-02/tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/100_LoadPackage.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/IsWellDefinedForMorphismsWithGivenSourceAndRange.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/ListWithKeys.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap01.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap02.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap03.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap04.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap05.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap06.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap07.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap08.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap09.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap10.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap11.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap12.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap13.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap14.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap15.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap16.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap17.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap18.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap19.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap20.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/cap21.tst
/usr/share/gap/pkg/CAP-2024.03-02/tst/testall.g

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 23:23:08 2024