Use graver api with all integer types
Preliminary version of lifting done
add norm function to Vector
Add unittest framework for groebner directory
Compute norm of an initial subvector
Parallel Graver next steps
Framework that actually compiles
refactor, defer future
Make zsolve non verbose by default
more tests
Working on parallel Graver, make insert (Vector *) public for now
mat file for tests
Move semantics for Vector
Prevent self deletion in move assignment
move semantics for VectorArray
Fix output of zsolve to include number of rows again.
Introduce GraverComputeState
ParallelGraver cosmetics
Clean-up
Fix up VectorArray