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.