アップグレード情報：

Algebra`InequalitySolve`

組込み関数Reduceが，以前のAlgebra`InequalitySolve`に含まれていた機能を提供するようになった．

InequalitySolve[expr,vars]の代りに，Reduce[expr,vars,Reals]を使う：

Version 5.2 << Algebra`InequalitySolve`; InequalitySolve[x (x^2 - 2) (x^2 - 3) > 0, x]