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 15.2 |
Version: 2017.09.25 | Vendor: openSUSE |
Release: lp152.3.2 | Build date: Fri Sep 20 19:46:39 2019 |
Group: Productivity/Scientific/Math | Build host: lamb12 |
Size: 4426810 | Source RPM: gap-cap-2017.09.25-lp152.3.2.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: http://homalg-project.github.io/CAP_project/CAP/ | |
Summary: GAP: Categories, Algorithms and Programming |
Categories are the main GAP objects in CAP. They are used to associate GAP objects which represent objects and morphisms with their category. By associating a GAP object to the category, one of two filters belonging to the category (ObjectFilter/MorphismFilter) are set to true. Via Add methods, functions for specific existential quantifiers can be associated to the category and after that can be applied to GAP objects in the category. A GAP category object also knows which constructions are currently possible in this category.
GPL-2.0
* 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-2017.09.25 /usr/share/gap/pkg/CAP-2017.09.25/COPYING /usr/share/gap/pkg/CAP-2017.09.25/GeneralizedAddMethod.md /usr/share/gap/pkg/CAP-2017.09.25/IDEAS /usr/share/gap/pkg/CAP-2017.09.25/LOGIC_SYNTAX_IDEAS /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForAbCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForAbCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/PropositionsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForAbCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForAbelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForAdditiveCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForGeneralCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/LogicForCategories/RelationsForPreabelianCategories.tex /usr/share/gap/pkg/CAP-2017.09.25/PackageInfo.g /usr/share/gap/pkg/CAP-2017.09.25/QUESTIONS /usr/share/gap/pkg/CAP-2017.09.25/README /usr/share/gap/pkg/CAP-2017.09.25/TODO /usr/share/gap/pkg/CAP-2017.09.25/doc /usr/share/gap/pkg/CAP-2017.09.25/doc/AddFunctions.autodoc /usr/share/gap/pkg/CAP-2017.09.25/doc/CAP.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/Intros.autodoc /usr/share/gap/pkg/CAP-2017.09.25/doc/_AutoDocMainFile.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Add_Functions.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_CAP_Categories.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Category_2-Cells.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Category_of_Categories.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Examples_and_Tests.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Managing_Derived_Methods.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Monoidal_Categories.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Morphisms.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Objects.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Technical_Details.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Tensor_Product_and_Internal_Hom.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/_Chapter_Universal_Objects.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/chap0.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap0.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap0_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap1.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap1.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap10.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap10.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap10_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap11.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap11.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap11_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap12.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap12.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap12_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap1_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap2.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap2.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap2_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap3.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap3.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap3_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap4.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap4.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap4_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap5.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap5.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap5_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap6.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap6.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap6_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap7.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap7.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap7_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap8.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap8.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap8_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap9.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chap9.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chap9_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chapInd.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chapInd.txt /usr/share/gap/pkg/CAP-2017.09.25/doc/chapInd_mj.html /usr/share/gap/pkg/CAP-2017.09.25/doc/chooser.html /usr/share/gap/pkg/CAP-2017.09.25/doc/clean /usr/share/gap/pkg/CAP-2017.09.25/doc/lefttoc.css /usr/share/gap/pkg/CAP-2017.09.25/doc/manual.css /usr/share/gap/pkg/CAP-2017.09.25/doc/manual.js /usr/share/gap/pkg/CAP-2017.09.25/doc/manual.pdf /usr/share/gap/pkg/CAP-2017.09.25/doc/manual.six /usr/share/gap/pkg/CAP-2017.09.25/doc/nocolorprompt.css /usr/share/gap/pkg/CAP-2017.09.25/doc/ragged.css /usr/share/gap/pkg/CAP-2017.09.25/doc/rainbow.js /usr/share/gap/pkg/CAP-2017.09.25/doc/times.css /usr/share/gap/pkg/CAP-2017.09.25/doc/title.xml /usr/share/gap/pkg/CAP-2017.09.25/doc/toggless.css /usr/share/gap/pkg/CAP-2017.09.25/doc/toggless.js /usr/share/gap/pkg/CAP-2017.09.25/examples /usr/share/gap/pkg/CAP-2017.09.25/examples/ActionsTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/CacheTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/DerivationTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/GapDays2015FallHandsOn.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/IntegerCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/LinearAlgebraMissingsOperations.g /usr/share/gap/pkg/CAP-2017.09.25/examples/MatricesGrowthTest.g /usr/share/gap/pkg/CAP-2017.09.25/examples/MatrixCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/MorphismBetweenDirectSums.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/NewAddVectorSpaces.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/Schemes.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/VectorSpaces.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/VectorSpacesFinalizeTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/VectorSpacesForGAPDays.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/VectorSpacesMethodGlueing.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/VectorSpacesMonoidalCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/deductive_generalized.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/BettiTableSpectralSequence.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/BettiTableSpectralSequenceDeductive.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/Homology.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/LogicExample.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/LogicKaiserslautern.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/ModulePresentationsMonoidalCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/ModulesOverPolynomialRing.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SnakeLemma.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SnakeLemmaModules.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SnakeLemmaTrondheim.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SpectralSequenceKaiserslautern.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SpectralSequenceKaiserslauternWithCospans.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SpectralSequenceKaiserslauternWithCospansToDoListTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SpectralSequences.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/SpectralSequencesTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesAddKernel01.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesAddKernel02.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesAddKernel03.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesAllMethods.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesConstructors.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesGeneralizedMorphismsCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesIsWellDefined.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesKernelTest.gi /usr/share/gap/pkg/CAP-2017.09.25/examples/testfiles/VectorSpacesPullback.gi /usr/share/gap/pkg/CAP-2017.09.25/gap /usr/share/gap/pkg/CAP-2017.09.25/gap/CAP.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/CAP.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoriesCategory.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoriesCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryMorphisms.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryMorphisms.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryObjects.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryObjects.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryTwoCells.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/CategoryTwoCells.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/ConstructiveCategoriesRecord.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/ConstructiveCategoriesRecord.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/Derivations.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/Derivations.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/DerivedMethods.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/Finalize.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/Finalize.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/InstallAdds.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/InstallAdds.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/LogicForCAP.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/LogicForCAP.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/MethodRecord.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/MethodRecord.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/MonoidalCategories.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/MonoidalCategories.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/MonoidalCategoriesDerivedMethods.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/OppositeCategory.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/OppositeCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/PrintingFunctions.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/PrintingFunctions.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/ProductCategory.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/ProductCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/TerminalCategory.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/TerminalCategory.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/TheoremParser.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/TheoremParser.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/ToolsForCategories.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/ToolsForCategories.gi /usr/share/gap/pkg/CAP-2017.09.25/gap/UniversalObjects.gd /usr/share/gap/pkg/CAP-2017.09.25/gap/UniversalObjects.gi /usr/share/gap/pkg/CAP-2017.09.25/help_for_CAP.md /usr/share/gap/pkg/CAP-2017.09.25/init.g /usr/share/gap/pkg/CAP-2017.09.25/makedoc.g /usr/share/gap/pkg/CAP-2017.09.25/makefile /usr/share/gap/pkg/CAP-2017.09.25/maketest.g /usr/share/gap/pkg/CAP-2017.09.25/read.g
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 11:27:19 2024