actually we finished exercise 6 in AlgSimp.java
finished exercise 7
ignore testFac