Both Singular and libsingular.so use omalloc, which is some kind of bump 
allocator (currently being given multithreading support BTW). It's much 
faster than xmalloc for that application (libsingular and Singular use it 
for allocating the objects in the linked list implementations of sparse 
distributed polynomials which are required for fast polynomial x monomial 
arithmetic critical to GB's). But Dima is correct, libsingular also misses 
important optimisations in Singular proper, even aside from the modular 
issue.

On Monday, 17 June 2019 10:51:05 UTC+2, Dima Pasechnik wrote:
>
> On Mon, Jun 17, 2019 at 9:01 AM Simon King <simo...@uni-jena.de 
> <javascript:>> wrote: 
> > 
> > Hi! 
> > 
> > On 2019-06-16, Dima Pasechnik <dim...@gmail.com <javascript:>> wrote: 
> > > libsingular interface is a mess, cf e.g. 
> > > https://trac.sagemath.org/ticket/27508 
> > 
> > Singular uses a peculiar memory manager that is optimized for Gröbner 
> > basis computations. If that memory manager is replaced by ordinary 
> > malloc (which makes sense for debugging) then everything becomes a lot 
> > slower. Does libsingular use the same memory manager than Singular? 
>
> IMHO it does. IMHO the problem is that libsingular interface calls 
> low-level functions in libsingular 
> to do polynomial reductions etc, and it misses important optimisations 
> which are done in Singular proper. 
>
>
> > 
> > Best regards, 
> > Simon 
> > 
> > -- 
> > 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-...@googlegroups.com <javascript:>. 
> > To post to this group, send email to sage-...@googlegroups.com 
> <javascript:>. 
> > Visit this group at https://groups.google.com/group/sage-devel. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/qe7hcm%24mvj%241%40blaine.gmane.org.
>  
>
> > For more options, visit https://groups.google.com/d/optout. 
>

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9f10526d-86aa-4473-9c54-d1ddf744761f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to