AngouriMath

Navigation

← Back to list of members

OfAPower​(AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity,​AngouriMath.​Entity)

 Method (no overloads)

Summary

product(c^(p(k)), k, a, b) is c^(sum(p(k), k, a, b)) for a base free of the
index, where that sum closes: the factors are powers of one base, whose exponents add,
c^s c^t = c^(s + t) -- on the principal branch as well, each power being
e^(s ln c) with the one ln c. Prob 1.3.12 of Sullivan and Mackey:
product(2^k, k, 0, n - 1) is 2^(n (n - 1)/2). An empty range sums to zero,
and c^0 is the empty product's 1.
https://github.com/asc-community/AngouriMath/issues/1409

























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