I went through the manual way of finding the order of an FpGroup using the Todd Coxeter Algorithm. I could not see as what to refer to for the "computational" aspect of it. That is how this problem is solved in GAP or Magma. What should i refer for the computational aspect of the algorithm?
-- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/73254919-92f8-47fa-b2d2-f9437101fb17%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
