SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

gap-cap rpm build for : OpenSuSE. For other distributions click gap-cap.

Name : gap-cap
Version : 2017.09.25 Vendor : openSUSE
Release : lp151.2.2 Date : 2018-07-21 05:58:19
Group : Productivity/Scientific/Math Source RPM : gap-cap-2017.09.25-lp151.2.2.src.rpm
Size : 4.22 MB
Packager : https://bugs_opensuse_org
Summary : GAP: Categories, Algorithms and Programming
Description :
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.

RPM found in directory: /vol/rzm3/linux-opensuse/ports/armv7hl/distribution/leap/15.1/repo/oss/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  gap-cap-2017.09.25-lp151.2.2.noarch.rpm
ftp.icm.edu.pl  gap-cap-2017.09.25-lp151.2.2.noarch.rpm
ftp.icm.edu.pl  gap-cap-2017.09.25-lp151.2.2.noarch.rpm
     

Provides :
gap-cap

Requires :
/bin/bash
gap-autodoc >= 2016.02.16
gap-core >= 4.6
gap-io
gap-toolsforhomalg >= 2016.01.17
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/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
There is 163 files more in these RPM.

 
ICM