-
Notifications
You must be signed in to change notification settings - Fork 0
Interactive Todd-Coxeter
License
gap-packages/itc
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
The GAP 4 Package ITC ===================== ITC stands for 'Interactive Todd Coxeter'. The package provides a program that allows you to execute interactively single steps in an enumeration of the cosets of a subgroup of a finitely presented group using the graphics surface XGAP of GAP and thus to see in various windows exactly what is happening. Note that the ITC package cannot be loaded from GAP, but only from XGAP. Hence it requires the XGAP package. To install the ITC package, just unpack the file 'itc.tar.gz' in the pkg subdirectory of your GAP installation (or in the pkg subdirectory of any other GAP root directory) with the following command: tar -xvf itc-1p4.tar.gz Then you can load the ITC package in an XGAP session by the command gap> LoadPackage( "itc" );
About
Interactive Todd-Coxeter
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published