Hi Jonas, > When I implemented Modular forms rings/spaces for Hecke triangle groups > I ran into some issues with pushout / functors / constructions > (correct me if I missunderstood something): > > Apparently the pushout construction implicitely assumes that > there exists a coercion from the "construction argument" to the > "construct":
Ticket #16507 should solve this (at least to some extent) in situations where there is a coercion B -> A instead of A -> B. (Here B is the object resulting from a functorial construction applied to A; this can be used if B is a submodule of A, for example.) This won't address things like (base ring, cusp forms) -> (modular forms), though. Peter -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
