Dear Forum,
In the present form FpAlgebra() does not produce very efficient
presentation for matrix algebras; it basically takes the complete
multiplication table for the set of defining relations.

A revised version of this function which produces a presentation
in some sence irredundant is now available from me;
(I don't post it now since I'm not sure if many people might find
it useful)
In fact, it is easy to use the idea behind the way the presentation is
computed by my version to speed up StandardBasis() computation for a
matrix algebra.

Best regards,
Dmitrii Pasechnik <dima@win.tue.nl>