[seqfan] Re: EIS Mistake on the Dedekind combinatory sequences.

[Sean A. Irvine]

The sequence is defined to be the first differences of A132581 and the
values are correct.

Robert Israel's Maple program correctly computes the sequence.

The "n>=1" in the comment is purely a restriction about the region in which
that comment applies.

In short, I see nothing wrong here.

However, in general, if you encounter a mistake, then you can simply edit
the sequence and propose the correction. Editors will then review your work
and approve or reject as necessary.

Hope this helps,
Sean.


On Tue, 1 Jun 2021 at 01:49, jmmaranda via SeqFan <seqfan at list.seqfan.eu>
wrote:

> Dear Seqfans:
>
> The EIS A132582 sequence must not have the term 0.
> The published sequence is all displaced.
> I have correctly calculated to term 204 but the bfile is rejected.
> This mistake must be corrected.
> How do we do it ?
> I have created new Sourceforge projects, the link is:
>
> sourceforge.net/projects/eis-a132581/files
> sourceforge.net/projects/eis-a132582/files
>
> JM Aranda
> Madrid
>
> -------- A132582 COMMENTS
> For n >= 1, <<<===!!!
> a(n) is the number of antichains """containing (n-1) """ <<<===!!!
>
> in the first n elements of the infinite Boolean lattice.
> Robert Israel, Mar 08 2017
> ---------------------------------------------------------
> CROSSREFS See A132581
> A132582 as a simple table
> n a(n)
> 0 1 <<<===???
> 1 1 2 2 3 1
> 4 5 <<<---
> 5 3 6 5 7 1
> 8 19 <<<---
> 9 14 10 25 14 19 15 1
> 16 167 <<<---
> 17 148 18 282 29 148 30 167 31 1
> 32 7580 <<<---
> 33 7413
>
> A132581 as a simple table
> n a(n)
> 0 1
> 1 2
> 2 3 <<<---
> 3 5
> 4 6 <<<---
>
> ----------------------------------------------------------------------------------------------
>
> Sent with [ProtonMail](https://protonmail.com) Secure Email.
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>