Pattern


represents the pattern object obj, assigned the name s.

DetailsDetails

  • The name s must be a symbol.
  • The object obj can be any pattern object.
  • When a transformation rule is used, any occurrence of s on the righthand side is replaced by whatever expression it matched on the lefthand side.
  • The operator has a comparatively low precedence. The expression is thus interpreted as , not .
  • The form s_ is equivalent to s:_. Similarly, s_h is equivalent to , s__ to s:__, and so on.
Introduced in 1988
(1.0)