AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

AntiderivativeLog(AngouriMath.Entity)

Method (no overloads)

Summary

The logarithm an antiderivative of f'/f is written with: ln(abs(f)) when
the codomain is the reals, ln(f) when it is the complex plane.

Remarks

ln(abs(f)) is an antiderivative of f'/f only on the real line. abs is not holomorphic, so off the real line the textbook form is not an antiderivative of
anything -- differentiating it does not return the integrand. That is
https://github.com/asc-community/AngouriMath/issues/946, and separating by codomain is
the answer given there.
Under Real this returns exactly what the table
returned before, so a caller who has said they are working on the reals sees no change.
The default codomain is the complex plane, so the default answer does change --
recorded in BREAKING-CHANGES.md.
This is for an abs the rule introduces. Where the integrand already
carries one -- the rule for ln(abs(ax + b)) below -- the abs in the
result is the caller's own and is left alone.

AngouriMath

Table of contents

AngouriMath

AntiderivativeLog​(AngouriMath.​Entity)

AntiderivativeLog(AngouriMath.Entity)