Back to Forum | View unanswered posts | View active topics
|
Page 1 of 1
|
[ 6 posts ] |
|
Author |
Message |
timokau2
|
Post subject: NTL error handling Posted: Wed Jul 25, 2018 12:08 am |
|
|
Singular commit 28d88317f5be18d83c49515617dfb0e38ae38600 added an error callback to NTL. If I understand that correctly, that callback completely halts the program.
That causes issues with the NTL usage in sage. Sage has its own error callback (used to catch errors and report them to the user). However with the newest singular, the program will just immediately halt whenever a NTL error occurs (even when using NTL directly).
Is that a bug?
|
|
Top |
|
|
hannes
|
Post subject: Re: NTL error handling Posted: Wed Jul 25, 2018 11:09 am |
|
Joined: Wed May 25, 2005 4:16 pm Posts: 275
|
|
Top |
|
|
timokau
|
Post subject: Re: NTL error handling Posted: Wed Jul 25, 2018 3:01 pm |
|
Joined: Wed Jul 25, 2018 12:05 am Posts: 8
|
Thank you for the quick fix, that looks like it is exactly what we need!
Do you plan to make a release including this soon? Or do you know if it is possible to work around this until then?
Otherwise sage will have to continue using the old Singular version patch its Singular (backporting that commit). Because of that all the distributions packaging sage would either have to accept the error, stay at an older singular or patch their singular too.
|
|
Top |
|
|
hannes
|
Post subject: Re: NTL error handling Posted: Thu Jul 26, 2018 5:15 pm |
|
Joined: Wed May 25, 2005 4:16 pm Posts: 275
|
Singular 4.1.1p3 will appear within the next week, next relase (4.1.2?) probably in October.
|
|
Top |
|
|
timokau
|
Post subject: Re: NTL error handling Posted: Sun Jul 29, 2018 6:37 pm |
|
Joined: Wed Jul 25, 2018 12:05 am Posts: 8
|
Alright, that's perfect. Thank you for the quick fix!
|
|
Top |
|
|
hannes
|
Post subject: Re: NTL error handling Posted: Tue Jul 31, 2018 4:29 pm |
|
Joined: Wed May 25, 2005 4:16 pm Posts: 275
|
singular-4.1.1p3 released
|
|
Top |
|
|
|
Page 1 of 1
|
[ 6 posts ] |
|
|
You can post new topics in this forum You can reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot post attachments in this forum
|
|
It is currently Fri May 13, 2022 11:00 am
|
|