• InequalityInstance以一系列法则的形式给出结果,它使用的格式和solve所使用的格式是一样的。• 若没有一个 符合不等式形式的,则InequalityInstance返回{}。• InequalityInstance在ineqs的定义域中有效地返回一个任意值。• 对于任一给定的ineqs,返回的值都是一样的。• ineqs可以包括逻辑复数或一系列的不等式、等式。