AngouriMath
Simplified(AngouriMath.Core.Transformations.RewriteRecording,AngouriMath.Entity)
Method (no overloads)
Summary
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).
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