Hi,
Singular definitely does have an issue with incorrect Grobner bases
due to overflow. I've been in contact with the Singular team, and they
do consider this to be a bug that they will fix. In general they want
Singular to either give a correct answer or give an error message, no
matter how Sin
On Tue, Jul 7, 2009 at 7:53 AM, Bjarke Hammersholt
Roune wrote:
>
>> I very strongly agree that such a limitation is a major problem.
>> The only way I can think of to deal with it, is if any such exponent
>> appears, we switch to the polydict (nonsingular) representation, and
>> everything gets w
> I very strongly agree that such a limitation is a major problem.
> The only way I can think of to deal with it, is if any such exponent
> appears, we switch to the polydict (nonsingular) representation, and
> everything gets way slower, and Groebner basis computations switch to
> a toy implement
On Mon, Jul 6, 2009 at 10:35 PM, Bjarke Hammersholt
Roune wrote:
>
> I'd like to discuss whether limiting the size of exponents of
> variables in Sage is a good way to go, and whether it is necessary to
> report an error when breaking those limits. In the default polynomial
> ring using Singular,
