Le mercredi 25 novembre 2020 à 14:02:06 UTC+1, Dima Pasechnik a écrit :

> this one? 
> https://trac.sagemath.org/ticket/30945 
>
>
Yes, exactly. 

On Wed, Nov 25, 2020 at 12:59 PM Eric Gourgoulhon 
> <[email protected]> wrote: 
> > 
> > 
> > Le mercredi 25 novembre 2020 à 13:35:31 UTC+1, Sébastien Labbé a écrit : 
> >> 
> >> On Ubuntu 18.04, running tests with various optional and external 
> packages, I get: 
> >> 
> >> Using 
> --optional=4ti2,cbc,ccache,cryptominisat,database_jones_numfield,debian,dot2tex,e_antic,external,fricas,glucose,latte_int,libnauty,lidia,lrslib,memlimit,normaliz,notedown,pandoc_attributes,pip,pycosat,pynormaliz,rst2ipynb,sage,sage_numerical_backends_coin,sage_spkg
>  
>
> >> ---------------------------------------------------------------------- 
> >> sage -t --long --warn-long 56.3 --random-seed=0 
> src/sage/interfaces/singular.py # Killed due to segmentation fault 
> >> ---------------------------------------------------------------------- 
> >> External software detected for doctesting: 
> ffmpeg,graphviz,imagemagick,internet,latex,octave,pandoc 
> >> 
> >> I can reproduce it when running the command: 
> >> sage -t --long --warn-long 73.3 --random-seed=0 
> src/sage/interfaces/singular.py 
> > 
> > 
> > I confirm the seg fault on Ubuntu 20.04 (Sage 9.3.beta2 built with the 
> system Python = 3.8.5, but with Sage's singular = 4.1.1p2). 
> > On the same computer (Intel Core i7-8665U + 32 GB RAM), the issue is 
> already there with Sage 9.2, but not with Sage 9.1. 
> > 
> > Eric. 
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-release" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to [email protected]. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-release/16154ebe-6c36-4527-812c-da25a299b0e8n%40googlegroups.com.
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/fede8b3c-92e7-438b-820b-2d61adf8291en%40googlegroups.com.

Reply via email to