Sequential fan S131 is not alpha 4 (P214) and consequences

[felixpernegger]

No description provided.

[yhx-12243]

S139|P214.

Also, the description that why S131 embeds in S107 closely (S107|P187) has a typo:

- $f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.
+ $f_{m,n}(m)=\frac{1}{n+2}$ and $f_{m,n}(k)=0$ otherwise.

[felixpernegger]

S139|P214.

Also, the description that why S131 embeds in S107 closely (S107|P187) has a typo:

- $f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.
+ $f_{m,n}(m)=\frac{1}{n+2}$ and $f_{m,n}(k)=0$ otherwise.

thanks i forgot

[felixpernegger]

There are still some redundants left for S107, if someone wants to take care of that.
But I suspect that some traits are equivalent, so best not to do it all at once blindly or we might lose some

[yhx-12243]

Also, the description that why S131 embeds in S107 closely (S107|P187) has a typo:

- $f_{m,n}(m)=\frac{1}{m+2}$ and $f_{m,n}(k)=0$ otherwise.
+ $f_{m,n}(m)=\frac{1}{n+2}$ and $f_{m,n}(k)=0$ otherwise.

Can you fixed the typo in S107|P187 above? (and I also think $\frac 1 {n+1}$ suffices)