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 implments ‘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) should be local but conditional