[sage-support] Re: Submodules of QQ['x,y,z'] as module over itself

2013-05-24 Thread Simon King
Hi Johannes, On 2013-05-24, Johannes wrote: > I'm don't have a a good understanding of the sage category system, but > if somebody could give me an introduction or link, I'll have a deeper > look at it. There is a thematic tutorial found at SAGE_ROOT/devel/sage/doc/output/html/en/thematic_tuto

Re: [sage-support] Submodules of QQ['x,y,z'] as module over itself

2013-05-24 Thread Johannes
Hey, Maybe I should specify my problem: I have given a polynomial ring in (at least) three variable over QQ or even better over CC (or some other algebraic closed field). I want to look at two different, but somehow related problems: With S = CC[x_1,...x_n], let M be a rank 1 S-module. Let

Re: [sage-support] Re: Submodules of QQ['x,y,z'] as module over itself

2013-05-24 Thread Johannes
On 24.05.2013 16:41, Simon King wrote: Hi Johannes, On 2013-05-22, Johannes wrote: is it implemented to create submodules of QQ['x,y,z'] as module over itself? I know it works for QQ['x'] or ZZ. Perhaps you could show us what you do to make things work for QQ['x'] or ZZ, because I do *no

Re: [sage-support] Submodules of QQ['x,y,z'] as module over itself

2013-05-24 Thread Charles Bouillaguet
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 ther

[sage-support] Re: Submodules of QQ['x,y,z'] as module over itself

2013-05-24 Thread Simon King
Hi Johannes, On 2013-05-22, Johannes 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 implemen