physics/evaluated-to-eval

Level

AuthoringFaithfulCorpusEquivEvery profile applies this rule; its output remains suitable for authoring.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/authoring/quantity_alias/evaluated_to_eval.rs (opens in new tab)

Triggers

\evaluated command

Eliminates

\evaluated command

Produces

\eval command

Rewrite patterns#

1. braced\evaluated{#1}#2\eval{#1}#2
2. braced-star\evaluated*{#1}#2\eval*{#1}#2
3. paren\evaluated(#1|#2\eval(#1|#2
4. bracket\evaluated[#1|#2\eval[#1|#2

Examples#

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

I=\evaluated{F(x)}_{a}^{b}

I=\eval{F(x)}_{a}^{b}

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

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

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

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

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

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

Related rules#

Downstream rules#

• physics/eval-expand Expand eval notation to the explicit fence-and-bar form.

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/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.
• physics/eval-expand Expand eval notation to the explicit fence-and-bar form.

Notes#

This alias preserves star and delimiter syntax; eval expansion is handled by the eval-fence rules.

Disable this rule#

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

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

Open in Playground