AngouriMath
NamesAssumedFreeOf(AngouriMath.Entity,AngouriMath.Entity.Variable)
Method (no overloads)
Summary
The names some calculus operator in expression is taken over,
wherename stands inside the body that operator is applied to.
where
Remarks
Such an operator decides its value by taking name to be free
of the name it is taken over:derivative(y, x) is 0 because y is not
x , limit(y, x, 0) is y , and integral(y, x) is
x * y + C . That is a decision about the name and not about a value put in
its place, so wherevername stands for values rather than for
itself — a set builder ranges over them, a solver's answer supplies one — the
decision is not available and nothing may rest on it.
#964
The name an operator binds itself is not one of these: they in
derivative(y ^ 2, y) is the one being differentiated over, and no
independence is claimed of it.
of the name it is taken over:
its place, so wherever
itself — a set builder ranges over them, a solver's answer supplies one — the
decision is not available and nothing may rest on it.
#964
The name an operator binds itself is not one of these: the
independence is claimed of it.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online