AngouriMath
IsAQuotientOfDistinctSumsOfSymbolsInLowestTerms(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
Whether expr is a quotient of products of positive whole powers of
sums inu of the first or second degree with a constant term, each
term of a sum one, a symbol, or one of them timesu or u^2 , the symbols of
a sum distinct and some sum holding one, no sum written twice, and no two neighbours
to one power above the bar.
sums in
term of a sum one, a symbol, or one of them times
a sum distinct and some sum holding one, no sum written twice, and no two neighbours
to one power above the bar.
Remarks
power of
sum, a quadratic is irreducible, and a linear divides none, since
one with a minus, which cannot cancel. Nothing is left for the simplifier, which hands
it back as it came: ten of the eleven integrands of Rubi's 4.3.4.2 with whole powers,
which the tangent substitution makes such quotients, came back from it unchanged after
6.5 to 13.4 s each with the seven symbols in them, and the eleventh after 3.7 s with
its two neighbours to one power below the bar gathered, which
WithNeighboursToOnePowerGathered(AngouriMath.Entity) does as it does. The answer is the one
the simplified integrand had.
and writes a lone
asked of that spelling -- 4.3.2.1's
coefficient other than one, a root or a factor that is not a sum is excluded too, as
nothing measured.
https://github.com/asc-community/AngouriMath/issues/233
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online