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

Explain

Method (no overloads)

Summary

The derivation in prose: what it did, then a numbered sentence per step, then what the
whole of it is justified by.

Remarks

#746 tier 2 asks
for "transformation metadata rich enough that v5.0 can render a step as a sentence".
This is the check on that: the metadata is rich enough exactly when a sentence can be
built from it, and every word of one here is read off a rule — the clause is the rule's
name with its hyphens replaced, and the identity in brackets is its description.
The closing note is counted, not asserted. How many steps hold universally, how
many hold under assumptions, and how much of the search was discarded are all read off
this path, so the paragraph cannot come to disagree with the steps above it — which is
the failure a written-out summary has and a computed one does not.

Example

Console.WriteLine(DerivationPath.OfSimplifying("x ^ (-1) / (y / z)")!.Explain());

AngouriMath

Table of contents

AngouriMath

Explain