Rewrite of non-commutative matching
Rewrite of non-commutative matching

Rewrite of matching of non-commutative expressions that:
- Respects expression structure (A*w matches A*B but not C*B)
- Accounts for non-commutativity (A*B*w matches A*B*C but not B*A*C)
- Enables non-commutative wildcards to match any subsequence (A*w*D
  matches A*B*C*D)

kaushik94/sympy,kaushik94/sympy,kaushik94/sympy