Singular http://www.singular.unikl.de/forum/ 

Strange results of ncExt_R http://www.singular.unikl.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 Extcomputations 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/ 