Rules and Patterns
Rules and Patterns
Definitions for Rules and Patterns
Rules and Patterns
Rules and Patterns
Definitions for Rules and Patterns
This section discusses user defined pattern matching and simplification rules (set up by TELLSIMP, TELLSIMPAFTER, DEFMATCH, or, DEFRULE.) You may affect the main simplification procedures, or else have your rules applied explicityly using APPLY1 and APPLY2. There are additional mechanisms for polynomials rules under TELLRAT, and for commutative and non commutative algebra in chapter on AFFINE.
Rules and Patterns
Rules and Patterns
Definitions for Rules and Patterns