On Sat, Nov 07, 2020 at 10:29:18AM +0100, Julien Puydt wrote:
> Le jeudi 05 novembre 2020 à 19:12 +0100, Bill Allombert a écrit :
> > On Mon, Nov 02, 2020 at 09:57:07AM +0100, Bill Allombert wrote:
> > > This means 512000 is not sufficient. This is a fatal error.
> > > The test cannot pass.
> > 
> > Would you mind uploading giac with PARI_SIZE=1024000 so that we can
> > close this bug ?
> 
> I have done that,

Excellent, thanks! Mind closing the bug with the giac upload ?

> but still, crashing is pretty bad : it should detect
> the value is too low at startup and complain.

The amount of stack needed depend on the computation the user requested,
so it is the responsibiity of the user to set the stack size.
However, the user can set parisizemax to allow PARI to increase the
stack as needed up to parisizemax.

If the stack is still too low, then you get an error that you can trap
and recover from. It seems giac recovery code does not handle pari
stack overflow correctly. This should be fixed, but this is not a
RC bug in pari, and probably not a regression.

Cheers,
Bill

Reply via email to