Hi, On Thu, Nov 22, 2018 at 08:48:58AM +0000, 'Martin R. Albrecht' via sage-devel wrote: > Hi Markus, > > Works without a hitch here (Debian/testing, Sage 8.4). I have been planning > on doing this over the years but never got around to it, so really cool to > see that you did. Nice work!
It was on my todo list for a while too, since our implementations are very slow. Here "very" means "prohibitively", since some systems can not be solved with Sage in decent time (via Singular), while FGb could solve them quickly. A colleague of mine had to do a lot of tricks to solve a research problem with Sage, and was disapointed when he discovered that FGb could have saved him hours of hard work during a seminar, where a Maple user showed him the Groebner basis. See also the related questions on ask.sagemath.org for concrete examples. Unfortunately, the fact that is is neither free-software nor open-source made it lower on my todo list. I wonder whether it could be possible to kindly ask J.C. Faugere to free his code, especially since his work on this is founded by the (french) public service. Thanks a lot for the work ! Ciao, Thierry > Cheers, > Martin > > > Markus Wageringel <markus.wagerin...@gmail.com> writes: > > Hi everyone. > > > > I created a Sage wrapper for the C interface of FGb, which makes it easy to > > call FGb from within Sage. The sources are available on Github [1] and can > > be installed as a Python package into Sage: > > > > [1] https://github.com/mwageringel/fgb_sage > > > > > > FGb is a C-library by J. C. Faugère for computing Gröbner bases and > > supposedly it is one of the faster implementations that exist. It is > > included with Maple [2]. FGb is closed source, but comes with a C interface > > that is freely distributed for academic use. Some of the features: > > > > • The computations run in parallel. (This only seems to work for > > computations over finite fields.) > > • Elimination/block orders are supported. > > • It runs on Linux and Mac. (There seem to be some issues, though. I could > > not get FGb to work on my Ubuntu machine. It fails with an "Illegal > > instruction" error.) > > > > > > In my Sage interface, I implemented just two functions: computing Gröbner > > bases and elimination ideals. Supposedly, the FGb C-library supports other > > functionality like computing Hilbert polynomials, but that part of the > > library is not documented very well, so it does not make sense to try to > > create wrappers for that. The focus is finding a Gröbner basis which, once > > computed, can be used by Sage for further computations. > > > > I just wanted to share this. Maybe it is useful for someone. > > > > Markus > > > > [2] https://www-polsys.lip6.fr/~jcf/FGb/Maple/index.html > > > -- > > _pgp: https://keybase.io/martinralbrecht > _www: https://martinralbrecht.wordpress.com > _jab: martinralbre...@jabber.ccc.de > _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
