qring of an nc_algebra
michaelk · Mon Jan 22, 2018 9:13 pm
I am running the following code in the "Try Online" section of the website (running version 4.1.0) from Nov. 2016:
The first call of b^2==0 (after setring S) returns 0 (false), whereas the second call of b^2==0 (after setring R) yields 1 (true). I don't understand why this is the case, since b^2 is not be in the ideal generated by a^2. Am I doing something wrong?
Code:
LIB "nctools.lib";
ring A = 0,(a,b),dp;
def S = nc_algebra(-1,0);
setring S;
b^2==0;
ideal I = a^2;
qring R = twostd(I);
setring R;
b^2==0;
ring A = 0,(a,b),dp;
def S = nc_algebra(-1,0);
setring S;
b^2==0;
ideal I = a^2;
qring R = twostd(I);
setring R;
b^2==0;
The first call of b^2==0 (after setring S) returns 0 (false), whereas the second call of b^2==0 (after setring R) yields 1 (true). I don't understand why this is the case, since b^2 is not be in the ideal generated by a^2. Am I doing something wrong?