Ask Your Question
0

Restricted usability of Singular after upgrade

asked 2017-02-07 19:28:01 +0100

wjansen gravatar image

Today I upgraded SageMath from 7.3 to 7.5.1, then I tried to continue yesterday's work: generating a sparse univariate polynomial using Singular, the polynomial has degree beyond that of toy polynomials. Yesterday, this worked fine, today I get the error message

exponent overflow (117649)

How can this happen? And what can I do to get the previous facilities of Singular (possibly, this means the previous facilities of SageMath)?

Thanks in advance

edit retag flag offensive close merge delete

Comments

I think we'll need slightly more specific information to debug this. Perhaps a new Singular bug? The error sounds more like that of Singular - see https://groups.google.com/forum/#!top... which is probably it. I suspect this is your problem - hopefully someone else will answer here who knows how to allocate more memory for univariate.

kcrisman gravatar imagekcrisman ( 2017-02-07 20:15:26 +0100 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2017-02-08 12:46:46 +0100

wjansen gravatar image

updated 2017-02-18 17:57:46 +0100

Meanwhile I made more experiments. The smallest polynomial degree forcing the error is 2^16. So I expect that the currently installed Singular version uses unsigned 16-bit words for exponents (and that the previous version had a larger representation, there I generated polynomials up to a degree of 27 bits then my computer was at the edge of its memory).

I had also a look on Singular's home page but I did not find any hint on technical restrictions or on internal data representation.

As workaround, I will try to re-install SageMath-7.3 from the Git repository. I hope the repository contains besides SageMath's core also the then actual external libraries.


Addendum (15-02-2017) :

It is a Singular problem since I misused Singular for its ability to handle sparse polynomials, also univariate ones (FLINT, NTL don't). The polynomial ring is created for a given prime number p by PolynomialRing(GF(p),1,"x"). The second argument 1 forces SageMath to switch to Singular.

The "bug" is not a bug, it is a restriction (16 bit exponents) implemented in Singular's official release. Unfortunately, Singular does not publish its restrictions (at least, I did not found one when reading its home page forth an back), so the violated restriction appeared as a bug. What about adding a comment in SageMath's documentation of PolynomialRing?

By contrast, version SageMath-7.3 included a modification of Singular where the restriction was set to 32 or 64 bit exponents, so the bug did not occur.

edit flag offensive delete link more

Comments

I should again point out the issue in the thread I linked to - this may be intentional, I'm not sure.

kcrisman gravatar imagekcrisman ( 2017-02-08 13:10:52 +0100 )edit

On the one hand, 16-bit exponents seem to be intentional, i.e. intended by Singular. On the other hand, there is at least one Singular version that supports larger exponents. I do not understand who this version implemented (released as Singular version or implementation within SageMath only). Anyway, the version with larger exponents is not in the recent SageMath release.

wjansen gravatar imagewjansen ( 2017-02-08 19:10:39 +0100 )edit

There seems to be a pretty good answer at https://groups.google.com/d/msg/sage-... which should help you track it down.

kcrisman gravatar imagekcrisman ( 2017-02-09 14:00:27 +0100 )edit
1

Why would you think this is Singular problem? Univariate polynomials are not handled by Singular in Sage, they are handled by either Flint, or NTL, or Givaro (the latter for finite fields only). We need more info to track your issue down. E.g. could you at least tell us the output of type(f) for your polynomial f?

Dima gravatar imageDima ( 2017-02-09 21:05:41 +0100 )edit

Only thought Singular because of the similarity in errors. I agree the OP should give more details.

kcrisman gravatar imagekcrisman ( 2017-02-09 21:37:35 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-02-07 19:28:01 +0100

Seen: 490 times

Last updated: Feb 18 '17