equal
deleted
inserted
replaced
299 } |
299 } |
300 } |
300 } |
301 |
301 |
302 |
302 |
303 \end{lstlisting} |
303 \end{lstlisting} |
304 \caption{The helper functions of $\textit{prune}$ XXX.} |
304 \caption{The helper functions of $\textit{prune}$: |
|
305 $\textit{atMostEmpty}$, $\textit{isOne}$ and $\textit{removeSeqTail}$} |
305 \end{figure} |
306 \end{figure} |
306 \noindent |
307 \noindent |
307 Suppose we feed |
308 Suppose we feed |
308 \begin{center} |
309 \begin{center} |
309 $r= (\underline{\ONE}+(\underline{f}+b)\cdot g)\cdot (a\cdot(d\cdot e))$ |
310 $r= (\underline{\ONE}+(\underline{f}+b)\cdot g)\cdot (a\cdot(d\cdot e))$ |