AngouriMath
Navigation
#ctor(AngouriMath.Entity)
Method (no overloads)
Summary
The Iverson bracket iverson(P) : 1 where the statement P holds and
0 where it does not.
Remarks
It is how a count is written as a sum: sum(iverson(k divides 12), k, 1, 12) is
the number of divisors of12 . A named function rather than a bracket, since every
bracket shape the grammar has already means something: a vector, a matrix, an interval.
A statement that is not decided keeps the node, and so does a number, which is not a
statement, as a connective keeps one.
https://github.com/asc-community/AngouriMath/issues/1478
the number of divisors of
bracket shape the grammar has already means something: a vector, a matrix, an interval.
A statement that is not decided keeps the node, and so does a number, which is not a
statement, as a connective keeps one.
https://github.com/asc-community/AngouriMath/issues/1478
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online