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

Transition(AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

before turning into after, said in a way that is
true even when the two print the same.

Remarks

Two different trees can print identically, and a derivation full of "X becomes X" is
what that produces if nobody looks.1 + (x + y) and (1 + x) + y are
not the same tree and print the same way, so a normalisation that regroups a chain has a
real before and after and nothing to show for it. It happened on two of the first six
derivations this was tried on.
Saying so is better than hiding it. A reader who sees a step reshaping a chain without
the printed form moving has learned something true about the engine; a reader who sees
a becomes a has learned to distrust the feature.

AngouriMath

Table of contents

AngouriMath

Transition​(AngouriMath.​Entity,​AngouriMath.​Entity)

Transition(AngouriMath.Entity,AngouriMath.Entity)