On Mon, Oct 9, 2017 at 1:38 PM, Simon Brandhorst <sbrandho...@web.de> 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+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.