AngouriMath
EulerIntrinsicKey
Field
Summary
A key naming EulerIntrinsic specifically, distinct from
any string a real leaf can print as (a leaf's printed form never starts with a NUL) --
so it shares nothing with the ordinary named constante , which prints the same
text EulerIntrinsic does. Both denote the same number and
both are kept out of this key's collision space on purpose:
EulerIntrinsic is a distinguished reference a binder over
the namee must not capture, and merging the two into one e-class -- which
Key(AngouriMath.Entity) keying onEntity.Stringize() alone would do -- silently
discards that distinction on the next extraction. Caught in code review before this PR
was merged.
any string a real leaf can print as (a leaf's printed form never starts with a NUL) --
so it shares nothing with the ordinary named constant
text EulerIntrinsic does. Both denote the same number and
both are kept out of this key's collision space on purpose:
EulerIntrinsic is a distinguished reference a binder over
the name
Key(AngouriMath.Entity) keying on
discards that distinction on the next extraction. Caught in code review before this PR
was merged.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online