AngouriMath

Navigation

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

inProgress

Field

Summary

The integrals this thread is part-way through, so that asking for one again while it is
still being worked out is recognised as a cycle rather than followed round again.

Remarks

Keyed on the integrand with its variable renamed to CycleVariable, which
is the whole point. SolveBySubstitution(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean) names
each new variable with Variable.CreateUnique, so a level and the level it came
from are alpha-equivalent rather than equal, and a set keyed on the integrand as
written would never see the same entry twice. Neither does answered, and
for the same reason — which is why the memo could not stop this.
This is what makes DeepestDescent a backstop instead of the mechanism.
The bound alone stops the process dying, and it is not enough on its own: the descent
branches, so 32 levels of a cycle is still an enormous search, and one Rubi integrand
took over ten minutes under the bound where v2.4.0 passed the whole section it
is in within a minute. Declining at the first repeat costs nothing and answers at once.

AngouriMath

Table of contents

AngouriMath

inProgress