RootUtilities(R, F)

rsimp.spad line 1 [edit on github]

• R : Join(GcdDomain, RetractableTo(Integer), Comparable, LinearlyExplicitOver(Integer))
• F : Join(AlgebraicallyClosedFunctionSpace(R), TranscendentalFunctionCategory)

This package implements 'complex_roots'.

complex_roots : SparseUnivariatePolynomial(F) -> Union(Record(reals : List(F), complexes : List(Record(real : F, imag : F))), "failed")

complex_roots(p) computes roots of p in terms of radicals separating real and complex roots. Returns "failed" when unsuccessful.

my_root3 : F -> F

my_root3(a) should be local but conditional

my_sqrt : F -> F

my_sqrt(a) should be local but conditional

quartic2 : (SparseUnivariatePolynomial(F), F) -> Union(Record(reals : List(F), complexes : List(Record(real : F, imag : F))), "failed")

quartic2(p, a0) should be local but conditional

radical_solve : SparseUnivariatePolynomial(F) -> Union(List(F), "failed")

radical_solve(p) tries to solve polynomial p in terms of radicals. Returns "failed" when unsuccessful.