
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/error.ocd}} 
  
  Error arising in the exercise suite of LeActiveMath. Will be filled as we proceed in the implementation 

\begin{tabular}{|l|r|r|}
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/exprtypes.ocd}} 
  
  Expression Types Constructors 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{exprtypes:polynomial}{application}{} \\ 
\hline
  \symbolrow{exprtypes:rational}{application}{} \\ 
\hline
  \symbolrow{exprtypes:transcendental\_in}{application}{} \\ 
\hline
  \symbolrow{exprtypes:transcendental\_in\_named}{application}{} \\ 
\hline
  \symbolrow{exprtypes:trigonometric}{application}{} \\ 
\hline
  \symbolrow{exprtypes:trigonometric\_named}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/fns4.ocd}} 
  
  Predicates used to describe function properties arising in the exercise suite of LeActiveMath. Will be filled as we proceed in the implementation 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns4:convex}{}{} \\ 
\hline
  \symbolrow{fns4:convex\_on}{}{} \\ 
\hline
  \symbolrow{fns4:concave}{}{} \\ 
\hline
  \symbolrow{fns4:concave\_on}{}{} \\ 
\hline
  \symbolrow{fns4:constant}{}{} \\ 
\hline
  \symbolrow{fns4:increasing}{}{} \\ 
\hline
  \symbolrow{fns4:increasing\_on}{}{} \\ 
\hline
  \symbolrow{fns4:strictly\_increasing}{}{} \\ 
\hline
  \symbolrow{fns4:strictly\_increasing\_on}{}{} \\ 
\hline
  \symbolrow{fns4:decreasing}{}{} \\ 
\hline
  \symbolrow{fns4:decreasing\_on}{}{} \\ 
\hline
  \symbolrow{fns4:strictly\_decreasing}{}{} \\ 
\hline
  \symbolrow{fns4:strictly\_decreasing\_on}{}{} \\ 
\hline
  \symbolrow{fns4:monotonic}{}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/rand1.ocd}} 
  
   

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{rand1:random\_int}{application}{} \\ 
\hline
  \symbolrow{rand1:seeded\_random\_int}{application}{} \\ 
\hline
  \symbolrow{rand1:random\_int\_lu}{application}{} \\ 
\hline
  \symbolrow{rand1:seeded\_random\_int\_lu}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/rand2.ocd}} 
  
  Pseudo-random generators of expressions of the types described in the exprtypes CD 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{rand2:random\_element}{application}{} \\ 
\hline
  \symbolrow{rand2:seeded\_random\_element}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/trs1.ocd}} 
  
  Rewriting on expressions, including substitution, normal form, rewrite with a certain rule 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{trs1:normal\_form}{application}{} \\ 
\hline
  \symbolrow{trs1:simplified\_form}{application}{} \\ 
\hline
  \symbolrow{trs1:rewriting\_by}{application}{} \\ 
\hline
  \symbolrow{trs1:term\_rewriting\_system}{application}{} \\ 
\hline
  \symbolrow{trs1:trs}{application}{} \\ 
\hline
  \symbolrow{trs1:rewrite\_rule}{application}{} \\ 
\hline
  
\end{tabular}
