AngouriMath
Approach
Description
Summary
A destination being approached, and the signs already established against it.
Remarks
The memo is not an optimisation to be taken or left. The rule is asked once per match
per candidate the simplifier generates, and it is asked about the *same* operands over
and over:lim x->-oo (x-5)^x / x^x put the same pair to it 192 times. Each
answer costs two limits, which run this whole machinery, so without the memo the
#596 limit stops finishing inside the minute its own test allows it.
per candidate the simplifier generates, and it is asked about the *same* operands over
and over:
answer costs two limits, which run this whole machinery, so without the memo the
#596 limit stops finishing inside the minute its own test allows it.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online