Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Firsts

• Rule	algebra.equations.coverup.power
  Location	[]
  Term	"Just (TCon logic1.or [TCon relation1.eq [TCon arith1.minus [TVar \"x\",TNum 1],TNum 10],TCon relation1.eq [TCon arith1.minus [TVar \"x\",TNum 1],TCon arith1.unary_minus [TNum 10]]])"
  Focus	"Just (TCon logic1.or [TCon relation1.eq [TCon arith1.minus [TVar \"x\",TNum 1],TNum 10],TCon relation1.eq [TCon arith1.minus [TVar \"x\",TNum 1],TCon arith1.unary_minus [TNum 10]]])"
  Environment

  

  x-1 == 10 or x-1 == -10

  ready: no