|John Jones on Fri, 13 Jul 2012 21:48:41 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: Possible improvements for bnfcertify and documentation|
On Thu, Jul 12, 2012 at 01:19:26PM -0700, John Jones wrote:It certainly affect the certification of the regulator.
> The documentation for bnfinit says that the computation of both the class
> group and fundamental units assumes GRH. In bnfcertify there is a flag to
> only certify that the class group is a quotient of the one which is
> computed. It would be good if the documentation would clarify whether or
> not this affects certification of the units.
I think it would help if you could provide some example of such field.
> Also, there are fields where pari spends much longer than magma in
> certifying class group/unit data. I don't know the internal algorithms in
> detail, but have the impression that they are doing very similar things,
> but with different bounds. If so and you can find out what bounds magma
> uses, then maybe pari could use the minimum of its current bound and
> whatever magma is using?