Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise algebra.inequalities.quadratic
Description
solve a quadratic inequation
Firsts
Rule
quadraticinequality.enter
Location
[]
Term
"Just (TCon relation1.eq [TNum 0,TVar \"x\"])"
Focus
"Just (TCon relation1.eq [TNum 0,TVar \"x\"])"
Environment
0 == x
ready: yes