Le mercredi 5 décembre 2018 23:44:43 UTC+1, Markus Wageringel a écrit :
>
> Am Samstag, 24. November 2018 23:11:26 UTC+1 schrieb parisse:
>>
>>
>> Giac supports double revlex ordering, this is the order used by the 
>> eliminate command of Giac. Geogebra has many examples of eliminate commands 
>> there https://dev.geogebra.org/trac/browser/trunk/geogebra/giac/src/test
>>
>
> Nice. It would probably be good to have this function in the Sage 
> interface for giac, as well. Is it also possible to obtain the full Gröbner 
> basis with respect to the revlex/revlex block order, but without 
> elimination?
>
>
>
>From giac, call gbasis with the list of polynomial and the list of the 
first block indets.  

>
> Meanwhile, Roman Pearce's website [5] is back online and I used those 
> polynomial systems to compare the Sage interfaces libsingular, giacpy_sage 
> and fgb_sage. I created a gist of the code [6].
>
> Versions of libraries used:
> • Sage 8.5.beta4
> • libSingular-4.1.1
> • giacpy_sage-0.6.6, giac-1.4.9.45.p4
>

The timings on Q do not reflect the timings of native giac, there must be 
some misconfiguration or something wrong with the sage interface. Higher 
timings with 16 threads instead of 4 for a modular algorithm is suspicious.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to