Georgi Guninski on Tue, 06 May 2014 08:33:11 +0200


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

Strange results in lower bound for regulator in bnfcertify() 

2.5.5 on linux x86_64.

With debug info the lower bound for the regulator
in bnfcertify() is greater than the regulator.

Why so?

? K=bnfinit(x^2+x-1,1);
? \g 3
? bnfcertify(K)
(lower bound for regulator) M = 0.4812120486663341467
? M = 0.4812120486663341467
%3 = 0.48121204866633414670000000000000000000
? K.reg < M
%4 = 1
? K.reg - M
%5 = -2.2360673069920224108657563157686853530 E-7
? K.reg
%6 = 0.48121182505960344749775891342436842313

Same with \p 9

Same for defining polynomials x^2 - 2, x^2 - 13