Kan: double coset rewriting systems

Research output: Non-textual formSoftware

Electronic versions

This is the latest version, 1.29, of the GAP package Kan.
Kan iwas originally implemented in 1996 using the GAP 3 language, to compute induced actions of categories, when Anne Heyworth was studying for a Ph.D. in Bangor.
This reduced version only provides functions for the computation of normal forms of representatives of double cosets of finitely presented groups.
Kan became an accepted GAP package in May 2015.
Bug reports, suggestions and comments are, of course, welcome. Please submit any issue at the GitHub repository https://github.com/gap-packages/kan/issues/ or email c.d.wensley@bangor.ac.uk.
Original languageEnglish
Publication statusPublished - 29 May 2019
View graph of relations