連立不等式 Ax > b が解を持つかどうか判定する方法を教えてください。