AngouriMath

Symbolics for .NET


Table of contents

AngouriMath

Navigation
Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug Donate Contacts

RewriteRuleGrowth

← Back to list of classes

Description

Summary

Which way a rewrite moves: does it make the expression bigger, smaller, or neither.

Remarks

Counted from what the rule is written as — operators plus operands on the pattern side
against operators plus operands on the replacement side — and therefore a statement about
the rule, not about any particular expression it fires on.
 It exists because a rewrite graph needs it and a rewrite pipeline does not.
Simplify(System.Int32) applies a set, keeps a candidate and moves on, so an
expanding rule and a collecting one never meet: the order they run in decides which wins.
Equality saturation deletes that order and keeps both results, so it has to be told which
pairs undo each other or it will grow without bound —
#746 tier 2, measured
in the egraph harness at up to 7,143 times the e-nodes when it is not told.

Members

























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