[ On representing group elements in terms of generators ]
I have become interested in this again, because of applications to routing
in parallel archectures (I actually found papers using the Schreier thm.
in eng. journals :-)
Gene Cooperman <gene@ccs.neu.edu> and Larry Finkelstein <laf@ccs.neu.edu> have
done some recent work on this sort of computation. In particular, I think they
solved the 2x2x2 Rubik's cube.
Steve