Exercise arithmetic.fractions

Description
simplify fractions

Firsts

• Rule	simplify.enter
  Location	[]
  Term	"Just (TCon arith1.divide [TCon arith1.plus [TCon arith1.divide [TNum 2,TNum 3],TCon arith1.divide [TNum 2,TNum 7]],TCon arith1.minus [TCon arith1.divide [TNum 4,TNum 7],TCon arith1.divide [TNum 1,TNum 3]]])"
  Focus	"Just (TCon arith1.divide [TCon arith1.plus [TCon arith1.divide [TNum 2,TNum 3],TCon arith1.divide [TNum 2,TNum 7]],TCon arith1.minus [TCon arith1.divide [TNum 4,TNum 7],TCon arith1.divide [TNum 1,TNum 3]]])"
  Environment

  

  (2/3+2/7)/(4/7-1/3)

  ready: no