AngouriMath
Written(AngouriMath.Entity,AngouriMath.Entity)
Method (no overloads)
Summary
An answer that carries a bound name out of the binder that declared it, with that name
made writable.
made writable.
Remarks
Most binders consume the name they declare — a sum over pi answers a number, and
a set builder keeps it inside itself, so both print as they were written and read back
as themselves. A derivative and an indefinite integral return it, and a variable
calledpi is a thing the parser cannot produce: 2 * pi would read back as
twice the constant, which is not what it means. Renaming a bound variable is free —
it is the same function either way — so it is renamed to a name that can be written.
#984
a set builder keeps it inside itself, so both print as they were written and read back
as themselves. A derivative and an indefinite integral return it, and a variable
called
twice the constant, which is not what it means. Renaming a bound variable is free —
it is the same function either way — so it is renamed to a name that can be written.
#984
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online