AngouriMath

Navigation

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

ScopedToItsBinder(AngouriMath.Entity,AngouriMath.Entity)

Method (no overloads)

Summary

condition with each conjunct that mentions a name
binder binds read the way the binder reads it: required at every
value the name ranges over. What a sum's body says about its index is a condition
inside the sum, and outside the sum that name is free, or another expression's.

Remarks

0 * f keeps the condition f is defined under, so the product rule carried
not x - w = 0 out of sum(ln(x - w), w in { w : w^3 + w + 1 = 0 }) with
w free in it, and the derivative could not be evaluated. Leaving the conjunct out
would have made 0 * sum(1/(k - x), k, 1, n) a plain 0 at x = 1, where the
sum has no value.
Over the roots of a polynomial p with rational coefficients, "q(w) != 0 at
every root" is Res_w(p, q) != 0, which mentions the other names alone -- here
not x^3 + x + 1 = 0, where the logarithms are singular -- since p's leading
coefficient is a number that is not zero. A finite range of numbers is the conjunction
over it. Anything else is kept as forall over the range: the set, the whole
numbers from the lower bound to the upper, the interval between a definite integral's
limits. A set builder admits the members its predicate is defined at, so its own
condition on its name is part of whom it admits rather than of where the set is defined.
A limit does not need its body defined throughout anything, and is left as it was.
https://github.com/asc-community/AngouriMath/issues/1632
For a definite integral this is sufficient for a value and not necessary: an integral
whose integrand is undefined only at a point it still converges past, ln(t) over
[0; 1], is read as undefined here. That is the direction in which nothing is given
a value it does not have, and a pointwise condition cannot tell a convergent improper
integral from a divergent one. The integral itself, where it is worked out, is not
affected: the derivative of 2 integral(x ln(t), t, 0, 1) is -2.

AngouriMath

Table of contents

AngouriMath

ScopedToItsBinder​(AngouriMath.​Entity,​AngouriMath.​Entity)

ScopedToItsBinder(AngouriMath.Entity,AngouriMath.Entity)