Email Record: Algorithmic methods in non-commutative algebra :