Back to Forum | View unanswered posts | View active topics
Topic review - Combined orderings |
Author |
Message |
|
|
Post subject: |
Re: Combined orderings |
|
|
It seems that I did not interpret the output of the resolution algorithm correctly. After all, it seems to naturally respect the grading.
It seems that I did not interpret the output of the resolution algorithm correctly. After all, it seems to naturally respect the grading.
|
|
|
|
Posted: Wed Sep 25, 2019 3:59 pm |
|
|
|
|
|
Post subject: |
Combined orderings |
|
|
Dear members of the forum,
I am currently facing the following issue. I am working on a relative projective space IP^r x IC^n, i.e. in the ring IC[s_0,...,s_r][x_1,...,x_n], where I consider the s-variables as global, homogeneous variables, and the x-variables as local, affine variables. This viewpoint suggests a mixed ordering such as
dp(r+1),ds(n).
For the relative projective space it is important, to work with the s-degree, which is realized by the weights (1....,1,0,...,0), with r+1 ones and n zeroes. I will say that an element a of S is s-homogeneous, when it is homogeneous with respect to these weights.
Now, I am given an ideal I in S, whose generators are s-homogeneous and I would like to compute a free resolution, which preserves the s-homogeneity. Unfortunately, with the previously mentioned ordering, the command
mres(I,0)
does not produce a resolution with matrices with s-homogeneous entries.
Do you have any suggestions? That would be great!
Thank you very much,
MickeyMouseII
Dear members of the forum,
I am currently facing the following issue. I am working on a relative projective space IP^r x IC^n, i.e. in the ring IC[s_0,...,s_r][x_1,...,x_n], where I consider the s-variables as global, homogeneous variables, and the x-variables as local, affine variables. This viewpoint suggests a mixed ordering such as
dp(r+1),ds(n).
For the relative projective space it is important, to work with the s-degree, which is realized by the weights (1....,1,0,...,0), with r+1 ones and n zeroes. I will say that an element a of S is s-homogeneous, when it is homogeneous with respect to these weights.
Now, I am given an ideal I in S, whose generators are s-homogeneous and I would like to compute a free resolution, which preserves the s-homogeneity. Unfortunately, with the previously mentioned ordering, the command
mres(I,0)
does not produce a resolution with matrices with s-homogeneous entries.
Do you have any suggestions? That would be great!
Thank you very much,
MickeyMouseII
|
|
|
|
Posted: Wed Sep 25, 2019 10:19 am |
|
|
|
|
|
It is currently Fri May 13, 2022 10:57 am
|
|