LinkageDesigner Package Paclet SymbolSee Also »|More About »

NormalFormQ

NormalFormQ[expr , varls] returns True if expr is in the normal form of pattern matching with respect to the variables of varlist .
  • The normal form of the pattern matching is defined for trigonometric polynomials used by the PatternSolve function.
Load LinkageDesigner package
In[1]:=
Click for copyable input
Convert the test expressions to normal form with respect to {1,2,3} variables
In[2]:=
Click for copyable input
Out[2]=
Check the resulted expression
In[3]:=
Click for copyable input
Out[3]=
Expression that can not convert to normal form
In[4]:=
Click for copyable input
Out[4]=
In[5]:=
Click for copyable input
Out[5]=