Singular https://www.singular.uni-kl.de/forum/ |
|
why this syz no result https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2264 |
Page 1 of 1 |
Author: | bolo [ Sun Jun 23, 2013 2:49 am ] |
Post subject: | why this syz no result |
in the book introduction to groebner bases page 178 i input the following, syz is only 0, it said using degrevlex , x>y>z ring r = 0,(x,y,z),dp module MD = [1,x2+y,x*y-y*z,0,0],[0,x*z-y,z-x,0,0],[0,0,0,x2+y,x*y-y*z],[1,0,0,x*z-y,z-x]; module MK = syz(MD); matrix MM = MK; print(MM); module N =[x2+y,x*z-y],[x*y-y*z,z-x]; quotient(N,freemodule(nrows(MK))); |
Author: | Doug [ Tue Jul 16, 2013 6:23 pm ] |
Post subject: | Re: why this syz no result |
Well, I tried this in both Singular and Macaulay2. I got a non-trivial answer in Macaulay2 given the matrix (or module) as written, but needed to transpose it to get a similar result in Singular. |
Author: | bolo [ Wed Jul 31, 2013 2:37 pm ] |
Post subject: | Re: why this syz no result |
i got nothing about this annihiliator why? if you got result, could you post your code |
Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |