AngouriMath

Navigation

← Back to list of members

TryTakeNumericModulusOut​(AngouriMath.​Entity,​AngouriMath.​Entity@)

 Method (no overloads)

Summary

Rewrites abs(c * g), abs(c / g) and abs(g / c), for a numeric
c off the real line whose modulus is exact, as |c| * abs(g),
|c| / abs(g) and abs(g) / |c|, with |c| a number. The modulus is
multiplicative on the whole plane, so nothing is assumed.

Remarks

Only where the modulus is exact: |1 + i| is sqrt(2), which the number
type can only hold rounded, and a rounded coefficient is a different value. Left inside
the modulus it stays exact. A real factor is left where it is as well -- |3 * x| and 3 * |x| are the same size and there is no phase to take out; what this
exists for is the factor that carries one, |i * x| = |x|, which is what lets a
derivative and a limit read |i / x| as 1 / |x|.
#1186

























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