Karim Belabas on Thu, 30 Jan 2014 16:58:30 +0100


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

Re: bnfcertify: missing units in bnf


* Karim Belabas [2014-01-30 16:20]:
> * Karim Belabas [2014-01-30 16:16]:
> > The documentation of bnfcertify should clearly specify this (and include
> > an example). I'll fix it.
> 
> Also note that bnfcertify(K,1) does not require units [ it certifies that
> the true class group is a quotient of the computed one ]. 
> 
> Since in your case, K.clgp is already the trivial group, bnfcertify(K,1)
> certifies everything there is to certify about K [...]

I take this back: K.reg might be an integer multiple of the true regulator...

Cheers,

    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]
`