RootSimplification

rsimp.spad line 253 [edit on github]

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

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”.

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”