Exercise algebra.manipulation.polynomial.expand

Description
expand an expression to polynomial normal form

Firsts

• Rule	expandfactors.enter
  Location	[]
  Term	"Just (TCon arith1.times [TCon arith1.times [TCon arith1.minus [TVar \"x\",TNum 1],TCon arith1.plus [TVar \"x\",TNum 3]],TCon arith1.minus [TVar \"x\",TNum 5]])"
  Focus	"Just (TCon arith1.times [TCon arith1.times [TCon arith1.minus [TVar \"x\",TNum 1],TCon arith1.plus [TVar \"x\",TNum 3]],TCon arith1.minus [TVar \"x\",TNum 5]])"
  Environment

  

  (x-1)*(x+3)*(x-5)

  ready: no