Goto Chapter: Top 1 2 3 Bib Ind
 [Top of Book]  [Contents]   [Next Chapter] 

Kan

A package for Induced Category Actions

Version 1.27

20/10/2016

Anne Heyworth

Chris Wensley
Email: c.d.wensley@bangor.ac.uk
Homepage: http://pages.bangor.ac.uk/~mas023/
Address:
School of Computer Science, Bangor University,
Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.

Abstract

The Kan package was originally implemented in 1996 using the GAP 3 language, to compute induced actions of categories, when the first author 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 an issue at https://github.com/gap-packages/kan/issues/ or send an email to the second author at c.d.wensley@bangor.ac.uk.

Copyright

© 1996-2016 Anne Heyworth and Chris Wensley

kan is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

Acknowledgements

This documentation was prepared with the GAPDoc package of Frank Lübeck and Max Neunhöffer.

The procedure used to mount new releases on GitHub uses the packages GitHubPagesForGAP and ReleaseTools of Max Horn.

Contents

1 Introduction
2 Double Coset Rewriting Systems
3 Development History
References
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 3 Bib Ind

generated by GAPDoc2HTML