physics/eval-expand

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/faithful/eval_fence/eval_expand.rs (opens in new tab)

Triggers

\eval command

Eliminates

\eval command

Produces

\left, \right, \vphantom, \smash commands; \int character

Rewrite patterns#

1. braced\eval{#1}#2\left.#1\vphantom{\int}\right|#2
2. braced-star\eval*{#1}#2\left.\smash{#1}\vphantom{\int}\right|#2
3. paren\eval(#1|#2\left(#1\vphantom{\int}\right|#2
4. paren-star\eval*(#1|#2\left(\smash{#1}\vphantom{\int}\right|#2
5. bracket\eval[#1|#2\left[#1\vphantom{\int}\right|#2
6. bracket-star\eval*[#1|#2\left[\smash{#1}\vphantom{\int}\right|#2

Examples#

Each example shows this rule applied in isolation. A complete normalization profile may make additional changes.

\eval{\frac{x^2}{2}}_0^1=\frac{1}{2}

\left.\frac{x^2}{2}\vphantom{\int}\right|_0^1=\frac{1}{2}

\eval*{F(x)}_a^b

\left.\smash{F(x)}\vphantom{\int}\right|_a^b

\eval(\sin x|_0^{\pi}=0

\left(\sin x\vphantom{\int}\right|_0^{\pi}=0

\eval*(\sin x|_0^{\pi}=0

\left(\smash{\sin x}\vphantom{\int}\right|_0^{\pi}=0

\eval[f(x)|_{x=0}=1

\left[f(x)\vphantom{\int}\right|_{x=0}=1

\eval*[f(x)|_{x=0}=1

\left[\smash{f(x)}\vphantom{\int}\right|_{x=0}=1

Related rules#

Upstream rules#

• physics/evaluated-to-eval Collapse evaluated to the shorter eval helper before eval expansion.

Same family#

• base/Big-class-variants-to-Big Collapse \Bigl, \Bigr, \Bigm to \Big.
• base/Bigg-class-variants-to-Bigg Collapse \Biggl, \Biggr, \Biggm to \Bigg.
• base/big-class-variants-to-big Collapse \bigl, \bigr, \bigm to \big.
• base/bigg-class-variants-to-bigg Collapse \biggl, \biggr, \biggm to \bigg.
• base/Big-delimiter-size-drop Drop the fixed delimiter size imposed by \Big.
• base/Bigg-delimiter-size-drop Drop the fixed delimiter size imposed by \Bigg.
• base/big-delimiter-size-drop Drop the fixed delimiter size imposed by \big.
• base/bigg-delimiter-size-drop Drop the fixed delimiter size imposed by \bigg.
• physics/absolutevalue-to-abs Collapse absolutevalue to the shorter abs helper before fence expansion.
• physics/evaluated-to-eval Collapse evaluated to the shorter eval helper before eval expansion.
• physics/quantity-to-qty Collapse quantity to the shorter qty helper.
• physics/Bqty-to-brace-fence Rewrite Bqty to explicit brace fences.
• physics/abs-to-vert-fence Rewrite abs to explicit vertical bar fences.
• physics/bqty-to-bracket-fence Rewrite bqty to explicit bracket fences.
• physics/norm-to-double-vert-fence Rewrite norm to explicit double-vertical-bar fences.
• physics/pqty-to-paren-fence Rewrite pqty to explicit parenthesis fences.

Notes#

Merged from eval-braced-expand and eval-paren-expand so cmd:eval has one eliminates owner.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/eval-expand"])

new TransformEngine({ profile: 'corpus', disableRules: ['physics/eval-expand'] })

Open in Playground