どんなことができる

パッケージかといえば，たとえば，a，bが実数のとき
　x^{2}+a x+b=0 となる正の数 x が存在する
という条件を x を用いない形，すなわち
　a^{2}-4 b≧0 かつ（ a＜0 または b＜0 ）
に同値変形することができます．