AngouriMath
Navigation
StatementPositions
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
leavessin(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
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
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