<div dir="ltr"><div dir="ltr"><div>Thank you for this, Murray. I'd forgotten about that, even though it's central to one of my favourite proofs (namely Peter McMullen's shelling proof of the Dehn-Sommerville equations).<br></div><div><br></div><div>Here's what you wrote. (I'm correcting a typo and using a vert bar as it might be more accessible than spaces).<br></div><div><br></div><div>| 1 | 1 | 1 | 1 | 1 |</div><div>| 0 | 1 | 2 | 3 | 4 |</div><div>| 0 | 0 | 1 | 3 | 6 |</div><div>| 0 | 0 | 0 | 1 | 4 | <br></div><div>| 0 | 0 | 0 | 0 | 1 |</div><div><br></div></div><div>Once you know the rule, it's easy to check the calculation (and hence probably easy to state the calculation, and hence J and APL). The rule is L-shaped, as in</div><div><br></div><div>| + |  . |</div><div>| + | = |</div><div><br></div><div>where the sum of the two | + | numbers is equal to the | = | number.</div><div><br></div><div>Thank you for this. It's brought back some fond memories.</div><div><br></div><div>Jonathan<br></div></div>