AngouriMath
HasAPowerOfASymbolicCubicOrMore(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Whether quotient holds a whole power past the first of a sum that is a
polynomial inu of the third degree or more with a symbol in one of
its coefficients:(a (2u)^3 + b (u^2 - 1)^3)^2 , which is what the exponential
substitution makes of(a + b sinh(x)^3)^2 .
polynomial in
its coefficients:
substitution makes of
Remarks
search, the quotient multiplied out and the quotient factored, each simplified again
before it is ranked; the search itself runs as before. With the symbols in it both are
polynomials of a high degree with a page of coefficients: Rubi's 6.1.7
simplifying them -- the common denominator of the expanded terms and the long division
of the factored quotient, each coefficient simplified on its own -- to rank both behind
what the search had found, where the search alone takes 12 to 130 MB.
quotients with such a power. On thirteen the search alone gives what the whole
simplification gives. On
of
factored form they cancel to a number. So where they are of one degree the quotient is
simplified in full; and so it is where the sum has no constant term, so that
the factored form wins there too, and from the search's form the antiderivative was
178,682 characters where it is 3,485. A power of a polynomial with numbers for its
coefficients is simplified in full as well, as is one of the second degree: there the
forms after the search win often and cost little.
https://github.com/asc-community/AngouriMath/issues/233
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online