[GAP Forum] Announcing the packages: Gpd, IdRel, Kan, and NumericalSgps

[Leonard Soicher]

Dear GAP-Forum Members,

I am very pleased to announce that officially accepted versions of
four long-standing GAP packages are included in the recently released
GAP 4.7.8.

Authors of GAP Packages retain full credit, control and responsibility
for their packages.  This means that when you make use of an (accepted
or deposited) package in your published research you should reference
this package, as well as the GAP system, in your bibliography. It also
means that any queries or bug reports should be directed to the package
authors, via support at gap-system.org, or via the GAP Forum if the query
or report is thought to be of interest to the wider GAP community.

The four newly accepted packages are:

Gpd 1.34, by Emma J. Moore and Christopher D. Wensley
The Gpd package provides a collection of functions for computing with
finite groupoids, graphs of groups, and graphs of groupoids. These are
based on the more basic structures of magmas with objects and their
mappings. It provides functions for normal forms of elements in Free
Products with Amalgamation and in HNN extensions.

IdRel 2.31, by Anne Heyworth and Christopher D. Wensley
IdRel is a package for computing the identities among relations of a
group presentation using rewriting, logged rewriting, monoid polynomials,
module polynomials and Y-sequences.

Kan 1.21, by Anne Heyworth and Christopher D. Wensley
The Kan package provides a collection of functions for computing with all
types of Kan extension, including double coset rewriting systems.  

NumericalSgps 1.0.1, by Manuel Delgado, Pedro A. Garcia-Sanchez and Jose Morais
NumericalSgps is a package for computing with numerical semigroups.

On behalf of the GAP Council, I thank all the authors of these packages 
for their contributions to GAP. 

Leonard Soicher
(Chair of GAP Council)