import java.applet.Applet;
import java.awt.*;
import java.awt.event.*;
import java.applet.*;
import java.awt.geom.*;
import java.math.*;


public class DocumentChecks {
    Manager M;
    public DocumentChecks(Manager MM) {
	this.M=MM;
    }

    public void dataInfo() {

	String S="sanity checks";

	S=S+"\n\nThese controls allowed us to perform various sanity checks and debugging routines during the writing of the program.  There are 2 units of checks.";

	S=S+"\n\ncompact: These are a fairly extensive and well organized set of sanity checks having to do with compactification theorem.  Before trying for a proof, we wanted to make sure computationally that all the maps really behaved as we calculated in the paper.  The code for these checks is contained in SanityCheck1.java";


	S=S+"\n\nmisc: We used this part of the program for developing new routines.  The current routines there are not worth documenting.";


 	M.D.setExplain(S);
 	M.D.repaint();
    }



    public void compactInfo() {
	String S="compactification theorem checks";

    S=S+"\n\nThese controls allow us to manage the sanity checks for the Compactification Theorem.  The tests are documented in the file SanityCheck1.java.  We will not document them here.";


 	M.D.setExplain(S);
 	M.D.repaint();
    }



    public void miscInfo() {
	String S="routine selector";
S=S+"\n\nThese controls allow us to select between the several routines we are testing out at any given time.";
 	M.D.setExplain(S);
 	M.D.repaint();
    }






}