|
|
|
|
|
|
by slelievre
2643 days ago
|
|
|
Bernard Parisse got access to a CoCalc server dedicated to developing
mathematical software, thanks to William Stein. He was able to run Giac
on that CoCalc server during the last 3 months, to improve the Groebner
basis source code, and eventually could solve the huge cyclic10 benchmark
on Q: 2225 primes were required for Chinese remaindering, 217G of memory,
and more than 200 sequential days computation (10 days real time). For more details, see the report: Bernard Parisse. Computing huge Groebner basis like cyclic10 over Q with Giac.
IF_PREPUB. 2019. ă€ˆhal-02081648>
https://hal.archives-ouvertes.fr/hal-02081648 In the sage-devel discussion, Roman Pearce mentions a trick used in Maple. |
|
|