gap-cap-2017.09.25-lp151.2.1.noarch.rpm


Advertisement

Description

gap-cap - GAP: Categories, Algorithms and Programming

Property Value
Distribution openSUSE Leap 15.1
Repository openSUSE Oss all
Package filename gap-cap-2017.09.25-lp151.2.1.noarch.rpm
Package name gap-cap
Package version 2017.09.25
Package release lp151.2.1
Package architecture noarch
Package type rpm
Category Productivity/Scientific/Math
Homepage http://homalg-project.github.io/CAP_project/CAP/
License GPL-2.0
Maintainer -
Download size 831.72 KB
Installed size 4.22 MB
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.

Alternatives

Package Version Architecture Repository
gap-cap - - -

Requires

Name Value
/bin/bash -
gap-autodoc >= 2016.02.16
gap-core >= 4.6
gap-io -
gap-toolsforhomalg >= 2016.01.17

Provides

Name Value
gap-cap = 2017.09.25-lp151.2.1

Download

Type URL
Mirror widehat.opensuse.org
Binary Package gap-cap-2017.09.25-lp151.2.1.noarch.rpm
Source Package gap-cap-2017.09.25-lp151.2.1.src.rpm

Install Howto

Install gap-cap rpm package:

# zypper install gap-cap

Files

Path
/usr/share/gap/
/usr/share/gap/pkg/
/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/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/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
/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/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/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/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/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

Changelog

2017-12-22 - jengelh@inai.de
- Initial package (version 2017.09.25) for build.opensuse.org

See Also

Package Description
gap-circle-1.6.1-lp151.2.1.noarch.rpm GAP: Adjoint groups of finite rings
gap-cohomolo-1.6.4-lp151.2.3.x86_64.rpm GAP: Cohomology groups of finite groups on finite modules
gap-congruence-1.2.1-lp151.2.1.noarch.rpm GAP: Congruence subgroups of SL(2,Z)
gap-convex-2013.12.05-lp151.2.1.noarch.rpm GAP: A package for fan combinatorics
gap-core-4.8.10-lp151.2.3.x86_64.rpm Runtime for GAP (System for Computational Discrete Algebra)
gap-corelg-1.20-lp151.2.1.noarch.rpm GAP: computation with real Lie groups
gap-crime-1.4-lp151.2.1.noarch.rpm GAP: Calculate group cohomology and Massey products
gap-crisp-1.4.4-lp151.2.1.noarch.rpm GAP: Computing with Radicals, Injectors, Schunck classes and Projectors
gap-cryst-4.1.13-lp151.2.1.noarch.rpm GAP: Computing with crystallographic groups
gap-crystcat-1.1.6-lp151.2.1.noarch.rpm GAP: The crystallographic groups catalog
gap-ctbllib-1.2.2-lp151.2.1.noarch.rpm GAP Character Table Library
gap-cvec-2.5.7-lp151.2.2.x86_64.rpm GAP: Compact vectors over finite fields
gap-data-4.8.10-lp151.2.3.noarch.rpm Data files for GAP (System for Computational Discrete Algebra)
gap-design-1.6-lp151.2.1.noarch.rpm GAP: The Design Package for GAP
gap-devel-4.8.10-lp151.2.3.x86_64.rpm Development environment for GAP
Advertisement
Advertisement