Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

Giac on Geogebra SVN The giac tarball is self-contained for compiling on gnu systems. The stable version corresponding to the latest debian packages is giac_stable.tgz

Re: [sage-devel] cryptominisat install (was sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1)

Apply the wall crossing formula? More seriously my advice is: if you report a problem, first open a new thread and then report it completely, that is 1. describe your architecture and your operating system 2. describe your Sage installation (is it built from source, installed from some pack

Re: [sage-devel] Re: A Sage interface for FGb (Gröbner bases)

On Mon, 10 Dec 2018 at 06:07, parisse wrote: > > > Le dimanche 9 décembre 2018 20:44:30 UTC+1, Dima Pasechnik a écrit : >> >> On Sun, Dec 9, 2018 at 1:42 PM parisse >> wrote: >> > >> > Efficient code does not depend on how you handle it (git, svn or >> tarballs or whatever). >> >> Efficiency of