- to deal with the special case where the target vector is in 2V, and
- to solve the general problem with polynomially many calls to this special case.
See the paper (esp. Algorithm 1) for the details.
Currently, I am working on polishing up documentation, and maybe we still need to change the class structure a little.