AngouriMath

Symbolics for .NET


Table of contents

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

TierNote​(System.​Collections.​Generic.​IReadOnlyList{AngouriMath.​Core.​Transformations.​Soundness},​System.​Int32)

 Method (no overloads)

Summary

What a run of steps is justified by, as a sentence — or null where
nothing is known about any of them.

Remarks

Not repeated on every line, and that is the point of it being here. A tier
printed against each step is noise on the steps that share it, and a reader stops seeing
it — which is the failure mode of a caveat, not the discharge of one. Said once over the
whole path, with a count, it is information.
The count is over the steps that have a tier, and it says so. A derivation's
steps are not all rule sets — inner simplification, factoring and polynomial
rearrangement are steps and declare nothing — so a path of four steps may have one tier
between them. Reporting that as "the step holds under assumptions" reads as though there
had been one step, which was the first version of this and was wrong twice over: it hid
three steps and it implied the other three were justified.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online