AngouriMath

Navigation

← Back to list of members

Simplified​(AngouriMath.​Core.​Transformations.​RewriteRecording,​AngouriMath.​Entity)

 Method (no overloads)

Summary

InnerSimplified, and the whole-expression step it takes written
down where somebody is recording.

Remarks

A derivation is a chain of whole expressions, and a rewrite pass only ever records the
subexpressions it changed -- so the passes below have to say what they turned into or
the chain has a hole in it wherever the simplifier tidied up. Free when nobody is
listening: one ambient read per stage, against a tree walk per stage.
See PathFrom(AngouriMath.Entity,AngouriMath.Entity).

























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