AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

Common

Property

Summary

CommonRules(AngouriMath.Entity), as data.

Remarks

The last set, and the one the exchange was always going to be judged on: a
hundred arms, more than any other, and the great majority of them one shape written
out in every orientation its operands can take. A commutative pattern says all of
them at once, so the hundred arms are 62 rules -- and none of that is a guess about
what the `switch` covers, because every orientation collapsed here is one the
`switch` writes out. Where it writes only one, the pattern is a node and stays one.
Order is load-bearing throughout, more than in any set so far: a * a becoming
a ^ 2 sits in the middle of the file and would swallow half of what is above it
if it were moved up. The rules are in the arms' order and the agreement test is what
says that is enough.

AngouriMath

Table of contents

AngouriMath

Common