On 14 August 2017 at 13:36, Ralf Hemmecke <hemme...@gmail.com> wrote: > Isn't it a bit strange if in the documentation it says > "NotImplementedError"? > > http://doc.sagemath.org/html/en/reference/arithgroup/sage/modular/arithgroup/arithgroup_generic.html#sage.modular.arithgroup.arithgroup_generic.ArithmeticSubgroup.coset_reps > > Is it true that Sage cannot compute the representatives of Gamma(4) in > Gamma(2)?
I think you have answered your own question. It raises a NotImplementedError since it has not been implemented. I prefer the phrasing "No-one has yet implemented [finding the coset representatives of one congruence subgroup in another (except when the larger group is the full modular group)]" to "Sage cannot compute...". Feel free to implement it! John > > Ralf > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
