Re: bnfcertify: missing units in bnf

[Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>]

* Bill Allombert [2014-01-30 16:05]:
> On Thu, Jan 30, 2014 at 04:58:13PM +0200, Georgi Guninski wrote:
> > 2.5.5 on linux x86_64
> > 
> > K=bnfinit(x^3+2^2^3+1);bnfcertify(K)
> > 
> >  *** bnfcertify: missing units in bnf.
> 
> bnfcertify requires the fundamental units to be computed.
> Use the flags 1 to bnfinit to force their computation:
> K=bnfinit(x^3+2^2^3+1,1);bnfcertify(K)
> %1=1
> 
> See the documentation:
> 
> ? ?bnfinit
> bnfinit(P,{flag=0},{tech=[]}): compute the necessary data for future
> use in ideal and unit group computations, including fundamental units
> if they are not too large. flag and tech are both optional. flag can
> be any of 0: default, 1: insist on having fundamental units. 

The documentation of bnfcertify should clearly specify this (and include
an example). I'll fix it.

Thanks for your report !

    K.B.
--
Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite Bordeaux 1          Fax: (+33) (0)5 40 00 69 50
351, cours de la Liberation    http://www.math.u-bordeaux1.fr/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
`