>From the Singular documentation [1]: "Hence any finitely generated [image: $R$]-module can be represented in S INGULAR by its module of relations."
[1] https://www.singular.uni-kl.de/Manual/4-0-3/sing_134.htm On Tuesday, 22 October 2019 22:51:45 UTC+2, Bill Hart wrote: > > > > On Friday, 18 October 2019 15:21:05 UTC+2, Dima Pasechnik wrote: >> >> Hi, >> well, Sage's functionality for modules over polynomial rings is quite >> limited. >> It assumes that a submodule of a free module is free. >> > > In what way does it assume this? There are limitations, but I'm not so > sure I would summarise them like this. > > We discussed this at length at a recent Sage/Macaulay2 coding sprint at >> IMA, >> and concluded that it would be quite a bit of work to do. >> > > There is a major effort planned/underway to implement more sophisticated > modules (in fact as I understand it, J. Boehm already has a prototype/first > implementation in Singular itself, conducted under his supervision by a > student). > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/aa28eab3-49da-402f-a35a-f141e19b40d2%40googlegroups.com.
