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?
On Monday, October 9, 2017 at 12:45:17 PM UTC+2, Simon King wrote: > > On 2017-10-09, Simon Brandhorst <sbran...@web.de <javascript:>> 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.