user_guide:tutorials:release:3.2:ilp_and_hilbertbases