OK I have implemented the less easy version with construction functors. That seems to be the best practice. The ticket is ready for review.
On Monday, October 9, 2017 at 7:55:13 PM UTC+2, David Roe wrote: > > > > On Mon, Oct 9, 2017 at 1:38 PM, Simon Brandhorst <sbran...@web.de > <javascript:>> wrote: > >> It helps a bit. Though my problem right now is that fgp_modules do not >> have a construction defined in the tutorial this is the case. So I have to >> give fgp_modules a construction functor? Or is there an easier way to get a >> pushout? >> > > Nope, that's how you get pushouts. You can take a look at the > QuotientFunctor in sage/categories/pushout.py for inspiration. > David > > > >> On Monday, October 9, 2017 at 12:45:17 PM UTC+2, Simon King wrote: >>> >>> On 2017-10-09, Simon Brandhorst <sbran...@web.de> wrote: >>> > Would someone please guide me through this? >>> > I would like to learn now to implement such a thing in sage. Yet I >>> wouldn't >>> > know where to start here. >>> > It is mathematically quite simple. >>> >>> Does >>> http://doc.sagemath.org/html/en/thematic_tutorials/coercion_and_categories.html >>> >>> help? >>> >>> Cheers, >>> Simon >>> >>> -- >> 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 <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> 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.
