Re: [Axiom-mail] Simplifying expressions involving radicals

[Bill Page]

On Wed, May 21, 2008 at 10:25 PM, Alasdair McAndrew wrote:
> Here's my situation:
>
> a:=2^(1/3)+4^(1/3)
> p(x)==x^3-6*x-6
>
> I'd like p(a) to return zero; which it doesn't (although p(a::Float) returns
> 0.0).  How can I do this?
>

(1) -> a:RECLOS(FRAC INT) := 2^(1/3)+4^(1/3)

        3+-+   3+-+
   (1)  \|4  + \|2

                                 Type: RealClosure Fraction Integer

(2) -> p(x)==x^3-6*x-6

                                                                   Type: Void

(3) -> p(a)

   Compiling function p with type RealClosure Fraction Integer ->
      RealClosure Fraction Integer

   (3)  0

                                   Type: RealClosure Fraction Integer

---------

Regards,
Bill Page.