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 - TOP module ordering
Author Message
  Post subject:  Re: TOP module ordering  Reply with quote
Already ring r=0,(x,y,z), (c,dp); or ring r=0,(x,y,z),(C,dp); are big improvements for me. So maybe you can tell me where to look to get "signature-based" or Schreyer orderings in Singular, as I can't seem to find them mentioned in the online manual.
Post Posted: Sat Feb 19, 2022 7:26 am
  Post subject:  Re: TOP module ordering  Reply with quote
You can have POT or TOP for free resolutions - depending on the ordering of the ring
(therefore a ring in singular has always also a module ordering, even if only ideals are defined in it).
There are also different algorithm to compute free resolution, some of them use internally a diffirent ordering, for example fres (Schreyer ordering or 'signature based'), lres (dp,c or TOP), etc.
Post Posted: Fri Feb 18, 2022 3:57 pm
  Post subject:  TOP module ordering  Reply with quote
Maybe someone knows why TOP seems to have been chosen as the only module ordering to use in free resolutions of ideals and modules. I would have though the default that makes most sense as a mathematical default would have been POT, but I would rather use a signature-based ordering in the ideal case, which means each new map in the free resolution has a slightly different ordering based on the names (signatures) of the module generators. (As an aside, I am not a fan of minimizing here, just as I am not a fan of minimizing as done in normal.lib, since it is not really mathematically driven, only minimization-driven.)
Post Posted: Wed Feb 16, 2022 11:50 pm


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