| Singular https://www.singular.uni-kl.de/forum/ |
|
| Combined orderings https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2863 |
Page 1 of 1 |
| Author: | MickeyMouseII [ Wed Sep 25, 2019 10:19 am ] |
| 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 |
|
| Author: | MickeyMouseII [ Wed Sep 25, 2019 3:59 pm ] |
| 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. |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|