I would try sage: X = V.quotient(W) sage: TestSuite(X).run() and see if there are failures. I know the implementation of FGP_Module was eventually intended for other PIDs as well, so I think it's a good idea as long as we have enough tests. David
On Thu, Oct 12, 2017 at 11:07 AM, Simon Brandhorst <[email protected]> wrote: > If forgot to add > > sage: from sage.modules.fg_pid.fgp_module import FGP_Module > > > > On Thursday, October 12, 2017 at 5:06:20 PM UTC+2, Simon Brandhorst wrote: >> >> sage: L.<w> = NumberField(x^2 - x + 2) >> sage: OL = L.ring_of_integers() >> sage: V = OL**3; W = V.span([[0,w,0], [1,0,1-w]], OL) >> sage: FGP_Module(V,W) >> This works >> >> sage: V.quotient(W) >> NotImplementedError: quotients of modules over rings other than fields or >> ZZ is not fully implemented >> >> >> Well FGP looks pretty implemented to me. >> >> Objections? >> > -- > 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 post to this group, send email to [email protected]. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
