
  %-------------------------------------------------%
  \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}
