Back to Forum | View unanswered posts | View active topics





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 - qring of an nc_algebra
Author Message
hannes
  Post subject:  Re: qring of an nc_algebra  Reply with quote
No, nothing wrong: you found a bug in Singular.
The test for being a SCA ring had a bug.
It is now fixed in the sources with
https://github.com/Singular/Sources/commit/4fd796a9c41904bd840bcc8a2691b4dac9865de4
Post Posted: Thu Feb 01, 2018 11:55 am
michaelk
  Post subject:  qring of an nc_algebra  Reply with quote
I am running the following code in the "Try Online" section of the website (running version 4.1.0) from Nov. 2016:

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;


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?
Post Posted: Mon Jan 22, 2018 9:13 pm


It is currently Fri May 13, 2022 11:03 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group