user_guide:ilp_and_hilbertbases