• General idea
• Pattern uses
• Behaviour
• Proposals
• Wildcard objects (old idea)
• Multiple patterns
• Or conditions
• Optional wilds
• Default values for unmatched wilds
• Type wilds can match
• Alternative: a Match object
• Transformation rules
• Pattern dispatch
• Without pattern dispatching: list of rules
• Some examples from Mathics
• Predicate dispatch
• Mathematica documentation
• Predicate dispatching ambiguities
• Orderless attribute
• Orderless and SymPy
• Subsets and subranges
• Typed patterns