I have been using FGb for the past 3 months. It supports Grobner basis computation over a prime finite field and rational field. I personally only use it for system of equations over a finite field. Some details I would like to share here :
1. The choice to perform computation over finite field or Q must be given as a C preprocessor - #define LIBMODE "i" (i=1 for Fp and i=2 for Q) 2. It supports monomial block ordering degrevlex, hence also supports degrevlex. 3. The maximal number of polynomials in intermediate basis must also be define as C preprocessor. 4. There is a C struct type "SFGB_Options" that stores all parameters for the computation. One of its member "_env._index" is used to specify the maximum size of intermediate matrices for Gaussian elimination step. I myself never try to write a SAGE interface for an external library. So I'm curious if details above could make it a bit trickier to write interface for FGb. I would love to hear some more comments on this. Remark : I have also performed some benchmark using system of equations from multivariate public-key cryptosystem (dense, random, overdefined). Compared to Magma 2.20-6, FGb use much less memory, but have worse total CPU time. On 3 May 2016 at 22:51, Dima Pasechnik <dimp...@gmail.com> wrote: > Have you noticed that it's binary only? So you cannot include it. > Provide an interface, well, yes. > > > On Tuesday, May 3, 2016 at 8:39:37 PM UTC+1, Travis Scrimshaw wrote: >> >> Hey all, >> I justed wanted to point out that I found this Gröbner basis package: >> http://www-polsys.lip6.fr/~jcf/FGb/index.html Although I didn't see any >> license information from a quick look on the website, but it might be >> something we can include into Sage. Sorry if this post is more noise >> because this was already known. >> >> Best, >> Travis >> >> -- > 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. > -- Rusydi H. Makarim PhD Student Mathematisch Instituut <http://www.math.leidenuniv.nl/>, Universiteit Leiden <http://www.leiden.edu/> and Cryptology Group <https://projects.cwi.nl/crypto/index.php>, Centrum Wiskunde & Informatica (CWI) <https://www.cwi.nl/> Amsterdam, the Netherlands Email : maka...@cwi.nl, r.h.maka...@math.leidenuniv.nl Web : http://pub.math.leidenuniv.nl/~makarimrh/ <http://pub.math.leidenuniv.nl/~makarimrh/index.html> -- 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.
