AngouriMath
LargestDecompositionHandedOn
Field
Summary
The largest decomposition, by the Complexity of its values
together, that is checked and handed on. The elimination is fraction-free over the
symbols, and its values grow as determinants do: for
`(-8 c^11 x + ...)/((c x - 1)^2 (c x + 1))`, which by parts leaves from
`acoth(c x) ln(1 - c^2 x^2)`, the nine values came out at ten million nodes each
and the sum at thirty-three million, and pinning `c` in it to check it ran out of
memory. Nothing downstream reads a decomposition of that size; the largest that
was ever answered was eighty thousand, four values of twenty thousand.
together, that is checked and handed on. The elimination is fraction-free over the
symbols, and its values grow as determinants do: for
`(-8 c^11 x + ...)/((c x - 1)^2 (c x + 1))`, which by parts leaves from
`acoth(c x) ln(1 - c^2 x^2)`, the nine values came out at ten million nodes each
and the sum at thirty-three million, and pinning `c` in it to check it ran out of
memory. Nothing downstream reads a decomposition of that size; the largest that
was ever answered was eighty thousand, four values of twenty thousand.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online