ConvertToNormalForm[exp, {vars}] Converts the algebraic expression (expr) to the normal form of pattern matching, when the symbols specified in {vars} are variables.
The ConvertToNormalForm function transforms trigonometric polynomials to the normal form used by the PatternSolve function.
The normal form of the pattern matching is depend on the list of variables specified in varlist argument.
Normal Term :
Given the list of variables M={q1, q2, ..., qn} and p arbitrary expression. p is a normal term with respect to M, if it satisfies one of the following conditions:
1. pM
2. p match the Sin[Plus[a___]]Cos[Plus[b___]] pattern, where {a}/M={} and
The normal form of the pattern matching is defined as the linear expression of the normal terms. The normal terms are using the variables of varlist argument.
The normal form of the pattern matching is depend on the list of variables specified in varlist argument.