The Kan package provides functions for the computation of normal forms of representatives of double cosets of finitely presented groups.
This package requires GAP version >=4.11.0
The following other GAP packages are needed:
Anne Heyworth, Chris Wensley.
Please, cite this package as
[HW22] Heyworth, A. and Wensley, C.,
kan, including double coset rewriting systems,
(Refereed GAP package), https://gap-packages.github.io/kan/.
You can get more info by typing
Cite("kan"); in the gap prompt.
For bug reports, feature requests and suggestions, please use the issue tracker.