Tue, 26 Nov 2024 12:52:49 UTC | login

Information for build gap-pkg-groupoids-1.67-2.fc31

ID114947
Package Namegap-pkg-groupoids
Version1.67
Release2.fc31
Epoch
SummaryGroupoids, group graphs, and groupoid graphs
DescriptionThe Groupoids package provides functions for computation with finite groupoids and their morphisms. The first part is concerned with the standard constructions for connected groupoids, and for groupoids with more than one component. Groupoid morphisms are also implemented, and recent work includes the implementation of automorphisms of a finite, connected groupoid: by permutation of the objects; by automorphism of the root group; and by choice of rays to each object. The automorphism group of such a groupoid is also computed, together with an isomorphism of a quotient of permutation groups. The second part implements graphs of groups and graphs of groupoids. A graph of groups is a directed graph with a group at each vertex and with isomorphisms between subgroups on each arc. This construction enables normal form computations for free products with amalgamation, and for HNN extensions, when the vertex groups come with their own rewriting systems.
Built bydavidlt
State complete
Volume DEFAULT
StartedWed, 31 Jul 2019 18:50:32 UTC
CompletedWed, 31 Jul 2019 18:50:32 UTC
Tags
f31
RPMs
src
gap-pkg-groupoids-1.67-2.fc31.src.rpm (info) (download)
noarch
gap-pkg-groupoids-1.67-2.fc31.noarch.rpm (info) (download)
gap-pkg-groupoids-doc-1.67-2.fc31.noarch.rpm (info) (download)
Changelog * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.67-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Tue Jun 25 2019 Jerry James <loganjerry@gmail.com> - 1.67-1 - New upstream version * Tue Apr 16 2019 Jerry James <loganjerry@gmail.com> - 1.65-1 - New upstream version * Sat Feb 02 2019 Jerry James <loganjerry@gmail.com> - 1.63-1 - New upstream version - Add -doc subpackage * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.55-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.55-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Sat Mar 10 2018 Jerry James <loganjerry@gmail.com> - 1.55-1 - New upstream version * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.54-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Jan 11 2018 Jerry James <loganjerry@gmail.com> - 1.54-1 - Name change from gap-pkg-gpd to gap-pkg-groupoids