[seqfan] Re: Three bfile discrepancies

Sean A. Irvine sairvin at gmail.com
Wed Apr 24 23:03:56 CEST 2019


Thanks Robert, always nice to have independent verification.  I'll arrange
for replacement bfiles.

Sean.

On Thu, 25 Apr 2019 at 08:22, <israel at math.ubc.ca> wrote:

> A000025: I confirm 48780 (using the first form of the G.f.) A001399: I
> confirm 16342668 using the first two lines of the Formulas section (G.f.
> and round( (n+3)^2/12 ). I conjecture that incautious use of
> floating-point
> arithmetic with rounding was the problem. A001662: I confirm
> 113265811765894444281816398077 using Kruchinin's E.g.f.
>  1/2*(LambertW(exp(4*x+1))-1).
>
> Cheers,
> Robert
>
> On Apr 24 2019, Sean A. Irvine wrote:
>
> >Georg Fischer has been running some of my Java programs against existing
> >bfiles and finding a fair number of discrepancies.  Many of these have now
> >been fixed one way or the other.
>
> >The following three cases are ones where we are not confident as to which
> >is wrong.  In two of the cases at least one other program in the entry
> also
> >disagrees with the bfile value -- but by itself that might not be enough
> >because programs can be related or based on faulty formulas.
> >
> >So this is plea for someone else to try and compute these values.  None of
> >them are hard in the sense that it should only take seconds to reach the
> >problematic value.
> >
> >A000025(117) b-file: 43799, computed: 48780
> >A001399(14001) b-file: 16340334, computed: 16342668
> >A001662(29) b-file: 458566039538034187375774891, computed:
> >113265811765894444281816398077
> >
> >Sean.
> >
> >--
> >Seqfan Mailing list - http://list.seqfan.eu/
> >
> >
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>



More information about the SeqFan mailing list