Computing huge Groebner basis like cyclic10 over $\Q$ with Giac.

Bernard Parisse (1)

1 IF - Institut Fourier

We present a short description on how to fine-tune the modular algorithm implemented in the Giac computer algebra system to reconstruct huge Groebner basis over $\Q$. The classical cyclic10 benchmark will serve as example.

Domaines: Calcul formel [cs.SC]; Logiciel mathématique [cs.MS]

Bernard Parisse. Computing huge Groebner basis like cyclic10 over $\Q$ with Giac.. 2019. ⟨hal-02081648⟩