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

Sentence(AngouriMath.Core.Transformations.RewriteRuleSet,AngouriMath.Core.Transformations.RewriteRule,AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

One rewrite as a sentence: why it was allowed, then what it did.

Remarks

The reason comes first. A reader following a derivation already knows the
expression — it is the answer to the step above — and what they are looking for is the
identity that moved it. Leading with the rewrite and appending the reason makes the
reader hold a transformation in mind until they are told why it happened.
Three shapes, and which one is used is a fact about what the rule carries rather than a
choice: a rule with a name in prose is said in its own words, with its identity in
brackets where it has one; a rule named by its rendered pattern is said by its identity
instead; and a rewrite with neither is attributed to its set rather than dressed
up as a reason it does not have.

AngouriMath

Table of contents

AngouriMath

Sentence​(AngouriMath.​Core.​Transformations.​RewriteRuleSet,​AngouriMath.​Core.​Transformations.​RewriteRule,​AngouriMath.​Entity,​AngouriMath.​Entity)

Sentence(AngouriMath.Core.Transformations.RewriteRuleSet,AngouriMath.Core.Transformations.RewriteRule,AngouriMath.Entity,AngouriMath.Entity)