AngouriMath

Navigation

StatementPositions


← Back to list of classes

Description

Summary

Where a statement may stand in an expression that is compiled: at the root, as an operand of a connective, on
both sides of an equality of statements, in an Iverson bracket, as a provided's or a piecewise's value or
predicate, and in a set or a quantifier. Anywhere a number is expected a statement has no value, as evaluation
leaves sin(True) as written; FastExpression, which carries a statement as its truth value, answered
sin(1). Its truth value as a number is iverson's, and a statement anywhere else is refused, by
both compilers alike.
https://github.com/asc-community/AngouriMath/issues/2227

Members

























Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5629 pages online