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 - A bug in a ring with matrix ordering
Author Message
kwankyu
  Post subject:  Re: A bug in a ring with matrix ordering  Reply with quote
I checked that the patch works well in Sage. Thank you!
Post Posted: Mon Jan 13, 2020 5:41 am
hannes
  Post subject:  Re: A bug in a ring with matrix ordering  Reply with quote
fixed with git commit 3484489a559567285e5422a2a18fd88fb5a60600
Author: Hans Schoenemann <hannes@mathematik.uni-kl.de>
Date: Fri Jan 10 14:53:21 2020 +0100

fix: OrdSgn for matrix orderings with 0 in first row
Post Posted: Fri Jan 10, 2020 3:55 pm
kwankyu
  Post subject:  A bug in a ring with matrix ordering  Reply with quote
Let us create a ring with a matrix ordering:
{{{
> intmat m[3][3] = 3, 0, 1, 0, 1, 0, 0, 0, 1;
> ring R = 0, (x,y,z), M(m);
> x > 1;
1
> y > 1;
1
> z > 1;
1
}}}
Hence the monomial ordering of R is a well-ordering, and the value of internal attribute `OrdSgn` of R should be 1. But presently `OrdSgn` of R is set to -1. There seems to be a bug in the implementation of `rCheckOrdSgn` function in `libpolys/polys/monomials/ring.cc` file.

This bug was revealed while fixing a bug of Sage tracked in #28954.
Post Posted: Wed Jan 08, 2020 4:11 am


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