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 - F5c algorithm
Author Message
Matthias
  Post subject:  Re: F5c algorithm  Reply with quote
Okay, thank you!

Is this really the algorithm corresponding the code:
kernel/GBEngine/f5gb.cc
?
Or is that one still under development (I just realized that there is a note in mod2.h):

/* procedures to compute groebner bases with the f5c implementation */
/* still testing */
#undef HAVE_F5C

Also, do you know where I can find the source code of the slimgb implementaion?
Post Posted: Mon Mar 25, 2019 8:45 pm
hannes
  Post subject:  Re: F5c algorithm  Reply with quote
The command sba provides this,
see https://www.singular.uni-kl.de/Manual/4 ... ng_343.htm
Post Posted: Mon Mar 25, 2019 12:36 pm
Matthias
  Post subject:  F5c algorithm  Reply with quote
Hi,

from the files contained in the folder /kernel/GBEngines it seems that there is an implementation of the f5c algorithm. How can I use that algorithm, or how do I have to compile Singular to be able to use it?

Thanks,

Matthias
Post Posted: Sun Mar 24, 2019 6:09 pm


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