more work on bv algebraic solver