\hypertarget{smart_8c}{}\doxysection{smart.\+c File Reference}
\label{smart_8c}\index{smart.c@{smart.c}}
{\ttfamily \#include \char`\"{}form3.\+h\char`\"{}}\newline
\doxysubsection*{Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\Hypertarget{smart_8c_a1a1d125afa53deb5a85fdd2f2b3bdfd7}\label{smart_8c_a1a1d125afa53deb5a85fdd2f2b3bdfd7}} 
int {\bfseries Study\+Pattern} (WORD $\ast$lhs)
\item 
\mbox{\Hypertarget{smart_8c_a2875ad71c554ec2f767e8f9cfe69ebce}\label{smart_8c_a2875ad71c554ec2f767e8f9cfe69ebce}} 
int {\bfseries Match\+Is\+Possible} (WORD $\ast$pattern, WORD $\ast$term)
\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
The functions for smart pattern searches in combinations of functions. When many wildcards are involved and the functions are (anti)symmetric an exhaustive search for all possibilities may take very much time (like factorial in the number of wildcards) while a human can often see immediately that there cannot be a match. The routines here try to make FORM a bit smarter in this respect.

This is just the beginning. It still needs lots of work! 