On Tuesday, 11 July 2017 12:20:15 UTC+2, Simon King wrote:
>
> Hi, 
>
> On 2017-07-10, mmarco <mma...@unizar.es <javascript:>> wrote: 
> > It is surprising the difference between singular and Sage, considering 
> that 
> > Sage mostly relies on Singular for multivariate polynomial arithmetic. 
>
> Note that Singular is optimised for Gröbner basis computations, but 
> certainly 
> not optimised for fast arithmetics. So, it is absolutely no surprise that 
> polynomial arithmetics can be improved by using a different backend. 
> However, 
> keep in mind that the other backend probably will be much slower than 
> Singular 
> in doing Gröbner basis computations. 
>
> Best regards, 
> Simon 
>
>
That's absolutely correct, and a point I make in my blog. One heuristic is 
that GBs tend to have a large number of very small polynomials and so one 
can dispatch larger arithmetic operations to a different back end safely 
(converting to and from some other format on the fly). This is something 
Singular already does, I believe.

Of course there are also libraries that do GBs and still have basic 
arithmetic that is comparable to the timings I've given. This is definitely 
something we care about and will be working on in future. The main goal of 
the ODK work we are doing, as we see it, is to speed up Singular (by 
speeding up Factory).

We are also independently looking at parallelising GBs (in a totally 
different way, of course). So once this project is done, we may get the 
best of both worlds! It's a very interesting project that a number of 
people are having input into. 

-- 
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