F5c algorithm

Matthias · 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

Re: F5c algorithm

hannes · Mon Mar 25, 2019 12:36 pm

The command sba provides this,
see https://www.singular.uni-kl.de/Manual/4 ... ng_343.htm

Re: F5c algorithm

Matthias · 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?