move createNormOL to correct file
Switch to tree reduction
Implementing GraverFilter
more verbose for debugging
Correct results with GraverFilter
figure out and test the solve function in LatticeBasis
update ignore file
replace zsolve lifting with LatticeBasis.h lifting
Reducing constant overhead
Make removing negatives after computation fast
Improve scrolling when search for critical pairs
Fix bug with removing negatives
Improve duplicate checking a little
Merge branch 'GraverFilter'