edit the inside data type of 'ineq'
insert the Figure1 and part of explanation of 'dgenerate'