Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - Strange results of ncExt_R
Author Message
  Post subject:  Strange results of ncExt_R  Reply with quote
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).
Post Posted: Fri Jul 21, 2017 10:34 pm


It is currently Fri May 13, 2022 10:54 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group