AngouriMath
MaxRewriteDepth
Field
Summary
How deep one limit may go into rewriting itself. Each of the rewrites below hands
back another limit to take, and that one is entitled to be rewritten in turn, so
without a bound the work would multiply.
back another limit to take, and that one is entitled to be rewritten in turn, so
without a bound the work would multiply.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online