AngouriMath
LargestReducedCoefficients
Field
Summary
The largest the linear p + q x of one step of
SolveAPolynomialOverAPowerOfAQuadraticBesideTheRootOfAnother(AngouriMath.Entity,AngouriMath.Entity.Variable) is let grow,
its two coefficients' complexities together: past it the reduction declines rather than
hand the next step a numerator of tens of thousands of nodes. With six symbols the
cube ofd + k x + f x^2 beside sqrt(a + b x + c x^2) reached 10,700 at
its second step and took over two minutes to answer and check; the square reaches a
few hundred, and Rubi's `sqrt(a + a sec(x))/(c + d sec(x))^3` 1,010.
SolveAPolynomialOverAPowerOfAQuadraticBesideTheRootOfAnother(AngouriMath.Entity,AngouriMath.Entity.Variable) is let grow,
its two coefficients' complexities together: past it the reduction declines rather than
hand the next step a numerator of tens of thousands of nodes. With six symbols the
cube of
its second step and took over two minutes to answer and check; the square reaches a
few hundred, and Rubi's `sqrt(a + a sec(x))/(c + d sec(x))^3` 1,010.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online