Computing huge Groebner basis like cyclic10 over with Giac
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 .The classical cyclic10 benchmark will serve as example.
READ FULL TEXT