\input header
\input epsf


\def \lemma{\par\noindent{\bf Lemma:\qquad}}
\def \given{\par\noindent{\bf Given:\qquad}}
\def \toconstruct{\par\noindent{\bf To Construct:\qquad}}
\def \construction{\par\noindent{\bf Construction:\qquad}}
\def \toprove{\par\noindent{\bf To Prove:\qquad}}
\def \proof{\par\noindent{\bf Proof:\qquad}}



\title{Subdivision Curve Interrogation Examples}

\section{Draw}

 Write a proof of the pseudo-coded routine in the notes for Draw.

This involves writing a definition of what the result should be, and also identifying the Lemmas which the API routines need to satisfy.  The actual proofs are the easy part.

\section{Planecut}

Prove that adding the test on the hull cutting the plane in planecut does not destroy correctness if the rest of the code is correct.


\end

