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/