Mon, 29 Apr 2024 07:34:57 UTC | login

Information for build gap-pkg-groupoids-1.74-1.fc40

ID297866
Package Namegap-pkg-groupoids
Version1.74
Release1.fc40
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
StartedMon, 18 Mar 2024 15:16:59 UTC
CompletedMon, 18 Mar 2024 15:16:59 UTC
Tags
f40
RPMs
src
gap-pkg-groupoids-1.74-1.fc40.src.rpm (info) (download)
noarch
gap-pkg-groupoids-1.74-1.fc40.noarch.rpm (info) (download)
gap-pkg-groupoids-doc-1.74-1.fc40.noarch.rpm (info) (download)
Changelog * Wed Jan 24 2024 Jerry James <loganjerry@gmail.com> - 1.74-1 - Version 1.74 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.73-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.73-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.73-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Feb 10 2023 Jerry James <loganjerry@gmail.com> - 1.73-1 - Version 1.73 * Sun Feb 05 2023 Jerry James <loganjerry@gmail.com> - 1.72-1 - Version 1.72 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.71-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James <loganjerry@gmail.com> - 1.71-2 - Update for split GAP directories * Thu Nov 10 2022 Jerry James <loganjerry@gmail.com> - 1.71-1 - Clarify license of the doc subpackage * Tue Sep 13 2022 Jerry James <loganjerry@gmail.com> - 1.71-1 - Version 1.71 - Update for gap 4.12.0 * Tue Aug 16 2022 Jerry James <loganjerry@gmail.com> - 1.69-3 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.69-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild