RootSimplification

rsimp.spad line 268 [edit on github]

This package performs root simplifications developing further methods from references below.

rsimp : Expression(Integer) -> Union(Expression(Integer), "failed")

rsimp(a : eI) : Union(eI, "failed") tries to express a using roots of lower nesting depth. If this fails it returns "failed"

rsimp1 : (Expression(Integer), Integer) -> Union(Expression(Integer), "failed")

rsimp1(a : eI, k : Integer) : Union(eI, "failed") returns root of degree k of a if such root exists in the field generated by kernels contained in a. Otherwise it returns "failed".