Rule

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

Pattern replacement rule.

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageRule✓

Rule(match: expression, replace: expression, predicate: function?) -> expressionas compute-engine declares it

Typed signatures

Type	Package	Applies
`(match: expression, replace: expression, predicate: function?) -> expression`	`compute-engine`	always

Domain: Compute engine

Examples

Basic #

\mathrm{ReplaceAll}(\bigl\lbrack x, x^2, a, b\bigr\rbrack, \mathrm{Rule}(x, 3))

Out

\bigl\lbrack3, 9, a, b\bigr\rbrack

Scope #

\mathrm{ReplaceAll}(\bigl\lbrack x, x^2, x^3, a, b\bigr\rbrack, \mathrm{Rule}(x^2, y))

Out

\bigl\lbrack x, y, x^3, a, b\bigr\rbrack

Properties #

\mathrm{ReplaceAll}(x, \mathrm{Rule}(x, \operatorname{KeyValuePair}(y, z)))

Out

(y,z)

About