AngouriMath
RulesUpTo(AngouriMath.Core.Transformations.RewriteRuleGrowth)
Method (no overloads)
Summary
The rules of MatchedRules whose justification is at least
SoundUnderAssumptions and whose
Growth is no wider thanwidest .
SoundUnderAssumptions and whose
Growth is no wider than
Parameter "widest"
The widest growth admitted, as a ceiling in the order
Collects, Rearranges,
Expands, Unknown —
increasing risk, and the order the values are declared in.
Collects, Rearranges,
Expands, Unknown —
increasing risk, and the order the values are declared in.
Remarks
one, and that is a measurement rather than a preference. It reads like the value a
ceiling should refuse — it means the rule's growth was not judged, because its
replacement is code rather than a written pattern, so admitting it accepts a rewrite
nobody measured. But it is where the rules are: of the 324 rules in
MatchedRules, 124 collect, 49 rearrange, 32 expand and 123 are
unjudged. A ceiling that refuses the fourth value still refuses 38% of the library,
and what is left could not do much when this was written — over six expression pairs
equal only through a larger intermediate form, the
Rearranges ceiling proved two, and
Expands proved the same two. The third was proved
only with the unjudged rules admitted.
rearrange, 9 expand and 270 are unjudged", and 84% — measured before the growth
declarations went in, which took the unjudged count from 261 to 152. The argument
survives the correction and the arithmetic in it did not, which is the reason to state
counts rather than a conclusion drawn from them.
four of these now, so the next time they move this remark fails with them.
classified may fire at all. Naming that as the widest setting makes it a request a
caller has to make on purpose, which is the most this can honestly do about it.
directions of an inverse pair are declared,
collecting one and withholds the expanding one, mechanically, for every such pair.
the safe one because
Expands. Growth is the direction marker. A pair whose
expanding direction is unjudged is the one case this cannot protect, and that is what
declaring a growth for a rule is for.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online