Singular
https://www.singular.uni-kl.de/forum/

Strange results of ncExt_R
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2635
Page 1 of 1

Author:  caramdir [ Fri Jul 21, 2017 10:34 pm ]
Post subject:  Strange results of ncExt_R

I was trying to do some noncommutative Ext-computations and got unexpected results. The following is a minimal example (where everything is actually commutative):

Code:
LIB "nchomolog.lib";
ring base = 0,(x,y),dp;
def A = nc_algebra(1,0); setring A;
ideal i = (x,y);
ncExt_R(0,i);
=> _[1,1]=1
ncExt_R(1,i);
=> _[1]=x*gen(1)
ncExt_R(2,i);
=> _[1]=gen(1)


I'm reading this as Ext^i_{k[x,y]}(k, k[x,y]) = 0 for i != 1 and Ext^1 = k[y]. But this is clearly no the correct result. Am I misunderstanding something? Ext_R from homolog.lib gives me the correct Ext's (i.e. Ext^2 = k, everything else vanishes).

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/