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+...@googlegroups.com.
> To post to this group, send email to
sage-...@googlegroups.com.
> Visit this group at
https://groups.google.com/group/sage-devel.
> For more options, visit
https://groups.google.com/d/optout.