An APL Implementation of Todd-Coxeter Coset Enumeration Jeffrey W. Clark Mathematics Department Elon College Box 2197 E l o n College, N C 27244 A group can be described by m e a n s of a presentation in generators and relations. The generators are the building blocks from w h e n c e all of the group's elements are constructed, while the relations tell h o w the generators are, well, related. For example: look at the group of symmetries of an equilateral triangle. This group consists of all the w a y s that the triangle can be m o v e d that result in another triangle in the same location: identity s u b g r o u p , the n u m b e r of rows equals the size of the group. T C has been p r o g r a m m e d in m a n y languages. It is relatively easy to do in A P E T h e following implementation strives for simplicity rather than efficiency. Note: the functions beginning with IDwercase letters are c o m m o n utility functions of
/lp/association-for-computing-machinery/an-apl-implementation-of-todd-coxeter-coset-enumeration-IVELoW6cbt