chiark / gitweb /
Refer to group elements by letters instead of numbers, in keeping
authorSimon Tatham <anakin@pobox.com>
Tue, 5 Jan 2010 23:40:41 +0000 (23:40 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 5 Jan 2010 23:40:41 +0000 (23:40 +0000)
commitdd4c8ceb1f1b05b3d2308829b41f8b35127ed83b
tree5f2d452cd974673cccbf569c9135c47a6b5de6e3
parent13d7ff6ae5fd746461a4ef1cd01a6b5255692afb
Refer to group elements by letters instead of numbers, in keeping
with usual abstract group notation. In puzzles with a clear
identity, it's called e.

[originally from svn r8812]
unfinished/group.c
unfinished/group.gap