| Singular https://www.singular.uni-kl.de/forum/ |
|
| F5c algorithm https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2846 |
Page 1 of 1 |
| Author: | Matthias [ Sun Mar 24, 2019 6:09 pm ] |
| Post subject: | F5c algorithm |
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 |
|
| Author: | hannes [ Mon Mar 25, 2019 12:36 pm ] |
| Post subject: | Re: F5c algorithm |
The command sba provides this, see https://www.singular.uni-kl.de/Manual/4 ... ng_343.htm |
|
| Author: | Matthias [ Mon Mar 25, 2019 8:45 pm ] |
| Post subject: | Re: F5c algorithm |
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? |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|