AngouriMath
Iversonf
Description
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
Members
Codomain
PropertyDefaultCodomain
PropertyInitDirectChildren
MethodLatexizeNode
MethodNodeChild
PropertyReplace(System.Func{AngouriMath.Entity,AngouriMath.Entity})
MethodStringizeNode
MethodToString
Method
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online