Re: [fricas-devel] Re: Selection of roots

Alejandro Jakubi <[email protected]> Mon, 3 Nov 2008 21:45:58 -0300

Newsgroups	gmane.comp.mathematics.axiom.general,gmane.comp.mathematics.open-axiom.devel
Message-ID	<Pine.WNT.4.64.0811032140490.2608@usuario-de5f78f>

On Mon, 4 Nov 2008, Martin Rubey wrote:

> Alejandro Jakubi <[email protected]> writes:
>
>> Fine. Now, how I recover the algebraic expressions, as produced by
>> 'radicalSolve', associated with such labels like %A1, %A2 ?
>
> perhaps
>
> (63) -> mainDefiningPolynomial(first allRootsOf(numer fp)$RECLOS(FRAC INT))
>
>          4     3   3  2
>   (63)  ?  + 7?  + - ?  + 4? + 22
>                    2
>  Type: Union(SparseUnivariatePolynomial(RealClosure(Fraction(Integer))),...)

No, I mean to recover the algebraic expressions for these two roots, not 
the polynomial. Is it possible?

Alejandro Jakubi