\hypertarget{notation_8c}{}\doxysection{notation.\+c File Reference}
\label{notation_8c}\index{notation.c@{notation.c}}
{\ttfamily \#include \char`\"{}form3.\+h\char`\"{}}\newline
\doxysubsection*{Functions}
\begin{DoxyCompactItemize}
\item 
\mbox{\Hypertarget{notation_8c_acbf1faf8c8f0cda37213812560404da7}\label{notation_8c_acbf1faf8c8f0cda37213812560404da7}} 
int {\bfseries Norm\+Poly\+Term} (PHEAD WORD $\ast$term)
\item 
\mbox{\Hypertarget{notation_8c_acecb5eb9b187c2554e5a9366bbc3a062}\label{notation_8c_acecb5eb9b187c2554e5a9366bbc3a062}} 
int {\bfseries Convert\+To\+Poly} (PHEAD WORD $\ast$term, WORD $\ast$outterm, WORD $\ast$comlist, WORD par)
\item 
int \mbox{\hyperlink{notation_8c_a3c1a4fbdcfebe9626924b6629e19f13e}{Local\+Convert\+To\+Poly}} (PHEAD WORD $\ast$term, WORD $\ast$outterm, WORD startebuf, WORD par)
\item 
\mbox{\Hypertarget{notation_8c_ae8a512bbbe2d630fc1ad4d1e62bb17fa}\label{notation_8c_ae8a512bbbe2d630fc1ad4d1e62bb17fa}} 
int {\bfseries Convert\+From\+Poly} (PHEAD WORD $\ast$term, WORD $\ast$outterm, WORD from, WORD to, WORD offset, WORD par)
\item 
\mbox{\Hypertarget{notation_8c_a0f7b918377b8fafe17ea0b029fa29a51}\label{notation_8c_a0f7b918377b8fafe17ea0b029fa29a51}} 
WORD {\bfseries Find\+Subterm} (WORD $\ast$subterm)
\item 
\mbox{\Hypertarget{notation_8c_a6370a083589d253c5a10c264a1408383}\label{notation_8c_a6370a083589d253c5a10c264a1408383}} 
WORD {\bfseries Find\+Local\+Subterm} (PHEAD WORD $\ast$subterm, WORD startebuf)
\item 
\mbox{\Hypertarget{notation_8c_ae70238570d30506d1e8be5d5ce46c448}\label{notation_8c_ae70238570d30506d1e8be5d5ce46c448}} 
void {\bfseries Print\+Subterm\+List} (int from, int to)
\item 
\mbox{\Hypertarget{notation_8c_ab89f92009fb53fd621691a6eb44c8511}\label{notation_8c_ab89f92009fb53fd621691a6eb44c8511}} 
void {\bfseries Print\+Extra\+Symbol} (int num, WORD $\ast$terms, int par)
\item 
\mbox{\Hypertarget{notation_8c_aa6377a3a935f72a5e021f423e2e31052}\label{notation_8c_aa6377a3a935f72a5e021f423e2e31052}} 
WORD {\bfseries Find\+Subexpression} (WORD $\ast$subexpr)
\item 
\mbox{\Hypertarget{notation_8c_aea9fb991e2f0647285dee7e59c2432fd}\label{notation_8c_aea9fb991e2f0647285dee7e59c2432fd}} 
int {\bfseries Extra\+Sym\+Fun} (PHEAD WORD $\ast$term, WORD level)
\item 
\mbox{\Hypertarget{notation_8c_a7b960d917f16f1674e4d5974c1416a09}\label{notation_8c_a7b960d917f16f1674e4d5974c1416a09}} 
int {\bfseries Prune\+Extra\+Symbols} (WORD downto)
\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
Contains the functions that deal with the rewriting and manipulation of expressions/terms in polynomial representation. 

\doxysubsection{Function Documentation}
\mbox{\Hypertarget{notation_8c_a3c1a4fbdcfebe9626924b6629e19f13e}\label{notation_8c_a3c1a4fbdcfebe9626924b6629e19f13e}} 
\index{notation.c@{notation.c}!LocalConvertToPoly@{LocalConvertToPoly}}
\index{LocalConvertToPoly@{LocalConvertToPoly}!notation.c@{notation.c}}
\doxysubsubsection{\texorpdfstring{LocalConvertToPoly()}{LocalConvertToPoly()}}
{\footnotesize\ttfamily int Local\+Convert\+To\+Poly (\begin{DoxyParamCaption}\item[{PHEAD WORD $\ast$}]{term,  }\item[{WORD $\ast$}]{outterm,  }\item[{WORD}]{startebuf,  }\item[{WORD}]{par }\end{DoxyParamCaption})}

Converts a generic term to polynomial notation in which there are only symbols and brackets. During conversion there will be only symbols. Brackets are stripped. Objects that need \textquotesingle{}translation\textquotesingle{} are put inside a special compiler buffer and represented by a symbol. The numbering of the extra symbols is down from the maximum. In principle there can be a problem when running into the already assigned ones. This uses the Find\+Tree for searching in the global tree and then looks further in the AT.\+ebufnum. This allows fully parallel processing. Hence we need no locks. Cannot be used in the same module as Convert\+To\+Poly. 

Definition at line 510 of file notation.\+c.

