AngouriMath
PerfectSquareProofBudget
Field
Summary
What the rewrite graph may spend proving a cross term equal to its candidate: two
thousand steps and fifty milliseconds. On the corpus the safe ceiling saturates a
term of this size in under a millisecond and a few dozen e-nodes, so this is a lid
against the stall family rather than a working allowance.
https://github.com/asc-community/AngouriMath/issues/1200
thousand steps and fifty milliseconds. On the corpus the safe ceiling saturates a
term of this size in under a millisecond and a few dozen e-nodes, so this is a lid
against the stall family rather than a working allowance.
https://github.com/asc-community/AngouriMath/issues/1200
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online