AngouriMath
Collects
Field
Summary
The replacement is never written with more operators and operands than the pattern,
and with fewer for some of what the pattern matches.
and with fewer for some of what the pattern matches.
Remarks
"Never more" is the half the growth ceiling relies on; "fewer for some" is what
separates this from Rearranges. The commonest collecting shape — a hole
matched twice and written once beside one new node,a + a = 2 * a — is exactly
as large at a leaf and smaller everywhere else, and a strict "always fewer" would have
left it unjudged.
separates this from Rearranges. The commonest collecting shape — a hole
matched twice and written once beside one new node,
as large at a leaf and smaller everywhere else, and a strict "always fewer" would have
left it unjudged.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online