physics/derivative-to-dv

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/authoring/derivative_to_short/derivative_to_dv.rs (opens in new tab)

Triggers

\derivative command

Eliminates

\derivative command

Produces

\dv command

Rewrite patterns#

1. derivative-two-args\derivative{#1}{#2}\dv{#1}{#2}
2. derivative-star\derivative*{#1}{#2}\dv*{#1}{#2}
3. derivative-order\derivative[#1]{#2}{#3}\dv[#1]{#2}{#3}
4. derivative-single-arg\derivative{#1}\dv{#1}

Examples#

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

F=m\derivative{x}{t}

F=m\dv{x}{t}

\derivative{\phi}{x}=0

\dv{\phi}{x}=0

\derivative*{x}{t}

\dv*{x}{t}

\derivative[n]{x}{t}

\dv[n]{x}{t}

\derivative{x} f(x)

\dv{x} f(x)

Related rules#

Downstream rules#

• physics/dv-to-frac-d Expand dv forms to explicit d-based derivative fractions.

Same family#

• physics/functional-derivative-to-fdv Collapse long functional derivative names to the fdv command.
• physics/partial-derivative-to-pdv Collapse long partial derivative names to the pdv command.
• physics/vectorarrow-to-va Collapse vectorarrow to the short va helper.
• physics/vectorbold-to-vb Collapse vectorbold to the short vb helper.
• physics/vectorunit-to-vu Collapse vectorunit to the short vu helper.
• physics/dv-to-frac-d Expand dv forms to explicit d-based derivative fractions.
• physics/fdv-to-frac-delta Expand fdv forms to explicit delta-based derivative fractions.
• physics/pdv-to-frac-partial Expand pdv forms to explicit partial-derivative fractions.
• physics/va-to-vec-mathbf Canonicalize va to an explicit vec-wrapped mathbf form.
• physics/vb-to-mathbf Canonicalize vb to an explicit mathbf wrapper.
• physics/vu-to-hat-mathbf Canonicalize vu to an explicit hat-wrapped mathbf form.

Notes#

Alias rewrite: derivative and dv share the same physics Derivative handler and argspec, so star, optional order, and one-argument forms are preserved by renaming the command.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/derivative-to-dv"])

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

Open in Playground