* split exact and inexact kernel (allows one to use the library without libqi/LiDIA/realroot)