Computational Group Theory: Nielsen Tran door