1.1 --- a/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sun Sep 09 12:48:59 2012 +0200
     1.2 +++ b/doc-src/isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sun Sep 09 14:48:30 2012 +0200
     1.3 @@ -836,10 +836,31 @@
     1.4  TODO
     1.5  \subsection{Preparation of Simplifiers for the Program}\label{simp}
     1.6  
     1.7 -%JR: ich denke wir können diesen punkt weglassen, methoden wie
     1.8 -%JR: drop_questionmarks und ähnliche sind im arical nicht ersichtlich und im 
     1.9 -%JR: grunde nicht relevant (ihre erstellung gleich wie functionen im nächsten
    1.10 -%JR: Punkt)
    1.11 +\paragraph{After collecting} informations about the problem and reviewing the
    1.12 +calculations, the programm may be seem hard and heavy, therefor we can set up
    1.13 +some simplifications, for e.g. is the simplification of reational expressions
    1.14 +already provided in the {\sisac{}} system. Also obligate is the use of the 
    1.15 +function \texttt{drop\_questionmarks} which excludes irrelevant symbols out of
    1.16 +the expression. (Irrelevant symbols may be result out of the system during the
    1.17 +calculation.)
    1.18 +
    1.19 +\subparagraph{Simplifiers often are represented} through rulesets\footnote{More
    1.20 +information about rulesets can be found in \S\ref{sec:rules}}, this rulesets
    1.21 +tell the machine which terms should be simplified into which representation. In
    1.22 +the upcoming programm a simplification is applied only in using such rulesets
    1.23 +on existing terms.
    1.24 +\par
    1.25 +Following example line was taken out of a finished programm and shows how
    1.26 +an rational expression can be simplified.
    1.27 +
    1.28 +\begin{example}
    1.29 +\begin{verbatim}
    1.30 +
    1.31 +  "expression = (Rewrite_Set norm_Rational False) expression;"^\end{verbatim}
    1.32 +\end{example}
    1.33 +
    1.34 +\subparagraph{If other} methods for use in term with simplification are needed
    1.35 +\S\ref{funs} gives informations about new ML-Functions can be prepared.
    1.36  
    1.37  \subsection{Preparation of ML-Functions}\label{funs}
    1.38  
    1.39 @@ -1097,7 +1118,7 @@
    1.40  With the upper collected knowledge it is possible to check if we were able to
    1.41  donate all required terms and expressions.
    1.42  
    1.43 -\subsubsection{Definition and Usage of Rules}
    1.44 +\subsubsection{Definition and Usage of Rules\label{sec:rules}}
    1.45  
    1.46  \paragraph{The core} of our implemented problem is the Z-Transformation, due
    1.47  the fact that the transformation itself would require higher math which isn't