Re: [sage-devel] New package with the F4 algorithm (groebner basis computation over finite fields)

2015-06-21 Thread William Stein
On Sat, Jun 20, 2015 at 11:25 AM, Nathann Cohen nathann.co...@gmail.com wrote: I vote for the obvious Let's make it optional first and see how it goes. Turning it into a standard package later is a one-line change anyway. Plus all the doctests, when it is optional, would be marked #

[sage-devel] New package with the F4 algorithm (groebner basis computation over finite fields)

2015-06-20 Thread Titouan COLADON
We propose a new C++ package implementing the F4 algorithm. We open this post in order to make it standard if the community agree. For the moment the package has not been tested on all the supported distributions. The related ticket is http://trac.sagemath.org/ticket/18749

Re: [sage-devel] New package with the F4 algorithm (groebner basis computation over finite fields)

2015-06-20 Thread William Stein
On Sat, Jun 20, 2015 at 11:01 AM, Titouan COLADON titouan.cola...@gmail.com wrote: We propose a new C++ package implementing the F4 algorithm. We open this post in order to make it standard if the community agree. To clarify, I think these are the options for this vote: [ ] Yes, make

Re: [sage-devel] New package with the F4 algorithm (groebner basis computation over finite fields)

2015-06-20 Thread 'Martin Albrecht' via sage-devel
On Saturday 20 Jun 2015 11:10:21 William Stein wrote: On Sat, Jun 20, 2015 at 11:01 AM, Titouan COLADON titouan.cola...@gmail.com wrote: We propose a new C++ package implementing the F4 algorithm. We open this post in order to make it standard if the community agree. To clarify, I

Re: [sage-devel] New package with the F4 algorithm (groebner basis computation over finite fields)

2015-06-20 Thread Nathann Cohen
I vote for the obvious Let's make it optional first and see how it goes. Turning it into a standard package later is a one-line change anyway. http://doc.sagemath.org/html/en/developer/packaging.html#prerequisites-for-new-standard-packages Nathann -- You received this message because you are