On May 22, 2013, at 11:46 PM, Johannes wrote: > Hi, > is it implemented to create submodules of QQ['x,y,z'] as module over itself? > I know it works for QQ['x'] or ZZ.But I don't know how to do this in the case > of QQ['x,y,z']. > If it's not possible, where and what are the problems? Or is there a patch > available, which provides this?
It is presently not implemented, and I am not aware of any patch. The thing is that arithmetic over modules over QQ[x,y,z] essentially relies on Groebner basis computation, and thus is "specific" to multivariate polynomial rings over a field. The code for modules, on the over hand, is very generic. Submodules are only allowed when the base ring is a PID (or a field). I have also been hit by the lack of this feature. It certainly seems like something someone should work on. Cheers, --- Charles Bouillaguet http://www.lifl.fr/~bouillaguet/ > bg, > Johannes > > P.S.: I'm using sage 5.9 on Debian Wheezy. > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To post to this group, send email to sage-support@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-support?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
