import edu.gwu.lintool.*;
import java.text.*;
import java.util.*;
import java.io.*;

public class TestA2 {

    public static void main (String[] argv)
    {
	// Test complex vector operations.
	LinTest.testComplexVectors (lin);

	// REPLACE the line below with your tool.
	LinTool lin = new LinToolImpl ();
	// Example (for Alice):
	//ALiceLinTool lin = new AliceLinTool ();

	LinTest.testREF (lin);
	LinTest.testRREF (lin);
	LinTest.testSolveFromREF (lin);
	LinTest.testSolveFromRREF (lin);
	LinTest.testInverse (lin);
    }

}