Igor Schein on Wed, 30 Dec 1998 11:06:45 -0500


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: bnf bug


Hi again,

Here's an easier way to reproduce the bug with post-2.0.11 ( takes 5s
and default stack on Ultra-60):

? for(k=1,5,print(bnfclassunit(x^3-91353*x-10627399).clgp.gen))
[[93, 51, 7; 0, 3, 1; 0, 0, 1], [7193, 3390, 2314; 0, 1, 0; 0, 0, 1]]
[[93, 51, 7; 0, 3, 1; 0, 0, 1], [7193, 3390, 2314; 0, 1, 0; 0, 0, 1]]
[[93, 51, 7; 0, 3, 1; 0, 0, 1], [7193, 3390, 2314; 0, 1, 0; 0, 0, 1]]
[[1147, 0, 851; 0, 31, 14; 0, 0, 1], [15303, 5336, 5987; 0, 1, 0; 0, 0, 1]]
[[93, 51, 7; 0, 3, 1; 0, 0, 1], [7193, 3390, 2314; 0, 1, 0; 0, 0, 1]]

And, to make things more compilated, here's the output for 2.0.11.beta
( takes a few minutes and 128M stack on Ultra-60):

? for(k=1,5,print(bnfclassunit(x^3-91353*x-10627399).clgp.gen))
[[25617, 20021, 14375; 0, 1, 0; 0, 0, 1], [37529, 25549, 28025; 0, 1, 0; 0, 0, 1]]
[[25617, 20021, 14375; 0, 1, 0; 0, 0, 1], [37529, 25549, 28025; 0, 1, 0; 0, 0, 1]]
[[25617, 20021, 14375; 0, 1, 0; 0, 0, 1], [37529, 25549, 28025; 0, 1, 0; 0, 0, 1]]
[[25617, 20021, 14375; 0, 1, 0; 0, 0, 1], [37529, 25549, 28025; 0, 1, 0; 0, 0, 1]]
[[127, 1, 126; 0, 1, 0; 0, 0, 1], [23, 6, 10; 0, 1, 0; 0, 0, 1]]

Seeing 4 different outputs for the same input, the only conclusion I
can make is that bnfclassunit().clgp.gen is not quite reliable yet.

Igor