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 A \subset S
be a subring of S (or even a sub algebra, but I only care about the
ring-structure) .
1. I am interested in the description of A in terms of M.
2. Given a second subring A' of A, I am interested into the description
of A' as A-Module and as S-Module.
I don't know if it's to late, but maybe this could be a project for the
gsoc.
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.
bg,
Johannes
On 24.05.2013 17:16, Charles Bouillaguet wrote:
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.
