AngouriMath

Navigation

← Back to list of members

SolveByWritingALinearBelowTheBarOverTheRadicand​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Boolean)

 Method (no overloads)

Summary

A linear below the bar that divides the radicand of a half-odd power beside it, written
over that radicand: the quadratic is P = L M, so 1/L is M/P and
L^(-n) P^s is M^n P^(s - n), exactly, for a whole n.
x/((d + e x) sqrt(d^2 - e^2 x^2)) is the polynomial x (d - e x) over
(d^2 - e^2 x^2)^(3/2), which the rules for a polynomial beside a half-odd power
of a quadratic answer. Rubi's 1.2.1.4 writes most of its rows this way.

Remarks

The rules in front read a linear beside the root as a pole to take apart, and a linear
that divides the radicand leaves nothing to take apart: its residue is the radicand's
value at its root, zero. Only below the bar, so the rewrite never makes the shape it
reads -- M^n is written above -- and a whole power only, where the rewrite
needs no branch.
https://github.com/asc-community/AngouriMath/issues/718

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online