複雑な連立方程式をReduceで解いてRoot[…]であらわされている場合、
厳密解ではなく、近似解である可能性はあるのでしょうか？
RootをさらにToRadicalで計算した結果、無理数などで解が表されたら、それは厳密解ですよね？？