[Bug 1282132] New: Review Request: gap-pkg-gpd - Groupoids, group graphs, and groupoid graphs

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1282132

            Bug ID: 1282132
           Summary: Review Request: gap-pkg-gpd - Groupoids, group graphs,
                    and groupoid graphs
           Product: Fedora
           Version: rawhide
         Component: Package Review
          Severity: medium
          Priority: medium
          Assignee: nobody@xxxxxxxxxxxxxxxxx
          Reporter: loganjerry@xxxxxxxxx
        QA Contact: extras-qa@xxxxxxxxxxxxxxxxx
                CC: package-review@xxxxxxxxxxxxxxxxxxxxxxx



Spec URL: https://jjames.fedorapeople.org/gap-pkg-gpd/gap-pkg-gpd.spec
SRPM URL:
https://jjames.fedorapeople.org/gap-pkg-gpd/gap-pkg-gpd-1.34-1.fc24.src.rpm
Fedora Account System Username: jjames
Description: The Gpd 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.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review




[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]