Hi Johannes, On 2013-05-22, Johannes <dajo.m...@web.de> wrote: > is it implemented to create submodules of QQ['x,y,z'] as module over > itself?
In other words, you have an ideal, and it acts on itself by multiplication and addition. > I know it works for QQ['x'] or ZZ. How? Ideals are not even properly implemented as object of a category, even though they pretend to be object of a category. So, how could an action possibly be defined? sage: R.<x> = QQ[] sage: I = [x^2]*R sage: isinstance(I, sage.structure.category_object.CategoryObject) False sage: I.category() Category of ring ideals in Univariate Polynomial Ring in x over Rational Field sage: I = ZZ*15 sage: isinstance(I, sage.structure.category_object.CategoryObject) False sage: I.category() Category of ring ideals in Integer Ring > But I don't know how to do > this in the case of QQ['x,y,z']. Perhaps you could show us what you do to make things work for QQ['x'] or ZZ, because I do *not* think that it works in this case. Then one can try to think what features are missing to make it work in the multivariate case as well. I do agree that such a feature should be available (it would become available, or at least easier to make it available, by letting ideals inherit from sage.structure.parent.Parent). Best regards, Simon -- 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.
