ConvertToNormalForm

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 {b} / M ⩵ {}
  • 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.
Load the LinkageDesigner package
In[1]:=
Click for copyable input
Define a simple trigonometrical polinom eq
In[2]:=
Click for copyable input
Out[2]=
Convert eq to Normal form w.r.t. {q1,q2} symbols
In[3]:=
Click for copyable input
Out[3]=