>If someone who knows what they are talking about [...]

to give a precise answer to the question on 
https://ask.sagemath.org/ 
<https://www.google.com/url?q=https%3A%2F%2Fask.sagemath.org%2Fquestion%2F36480%2Frestricted-usability-of-singular-after-upgrade%2F&sa=D&sntz=1&usg=AFQjCNECM1JU19STgvgsg5LMJc8WX3bGng>
question/36480/restricted-usability-of-singular-after-upgrade/ 
<https://ask.sagemath.org/question/36480/restricted-usability-of-singular-after-upgrade/>
it would be helpful to examine the failing example.

First guess: 
because there _could be an overflow_ for some operation if an exponent in 
the input is bigger than 16 bit,
in recent Singular the input exponent is restricted to 16 bit. No explicit 
overflow test is implemented.
For example, if you try in recent Singular 

ring rng = 0,(x,y),dp;
short = 0;
poly h = x^2147483647;
//   ? OVERFLOW in power(d=1, e=2147483647, max=32767)


you get an overflow exception with the hint that max allowed exponent is 
32767. This was not the case for older Singular versions.

My second guess is: an overflow occurs in the computation by Singular 
which was not detected in older Singular version => result seems computable 
but is likely incorrect.
In the new Singular version and thus in Sage with upgraded Singular  the 
overflow is detected correctly so the computation 
is aborted.




Am Mittwoch, 8. Februar 2017 20:32:43 UTC+1 schrieb kcrisman:
>
>
>
>
> as far as I know, limiting to 16 bit exponents for _input_ was introduced 
>> to prevent undetected overflows;
>> it must be one of the tickets
>>>
>>>
>>>
>
> If someone who knows what they are talking about (i.e., not me) could 
> mention this on the ask.sagemath question that would be really helpful. 
> https://ask.sagemath.org/ 
> <https://www.google.com/url?q=https%3A%2F%2Fask.sagemath.org%2Fquestion%2F36480%2Frestricted-usability-of-singular-after-upgrade%2F&sa=D&sntz=1&usg=AFQjCNECM1JU19STgvgsg5LMJc8WX3bGng>
> question/36480/restricted-usability-of-singular-after-upgrade/ 
> <https://ask.sagemath.org/question/36480/restricted-usability-of-singular-after-upgrade/>
> Seems to be an otherwise-satisfied customer who is at a loss.
>

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