[seqfan] Re: Three bfile discrepancies

[israel at math.ubc.ca]

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/
>
>