Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Firsts

• Rule	quadraticinequality.enter
  Location	[]
  Term	"Just (TCon relation1.gt [TCon arith1.power [TVar \"x\",TNum 2],TNum 0])"
  Focus	"Just (TCon relation1.gt [TCon arith1.power [TVar \"x\",TNum 2],TNum 0])"
  Environment

  

  x^2 > 0

  ready: no