Post new topic Reply to topic  [ 3 posts ] 
Author Message
 Post subject: F5c algorithm
PostPosted: Sun Mar 24, 2019 6:09 pm 
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


Report this post
Top
  
Reply with quote  
 Post subject: Re: F5c algorithm
PostPosted: Mon Mar 25, 2019 12:36 pm 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
The command sba provides this,
see https://www.singular.uni-kl.de/Manual/4 ... ng_343.htm


Report this post
Top
 Profile  
Reply with quote  
 Post subject: Re: F5c algorithm
PostPosted: Mon Mar 25, 2019 8:45 pm 
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?


Report this post
Top
  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 3 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

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