Skip to main content

Solve inequation

Solves an inequation or a system of inequations.


solve_inequation(Inequation, Identifier)
solve_inequation(List, Identifier)


Given an inequation and an identifier x, solves the inequation for xx. If one uses logical operators to express the inequations, the output is true or false, whether the system of inequations has a solution or not.


Given a list of inequations representing the system of inequations and an identifier xx, solves the system of inequations for xx.