MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Re: Re: algebraic numbers


> A consequence is that all randoms can be made to fit some algebraic  
> number of whatever degree, simply by allowing siufficiently large  
> coefficients.

And sufficiently large degree? A combination of the two?

Bobby

On Thu, 07 Jan 2010 10:19:39 -0600, Daniel Lichtblau <danl at wolfram.com>  
wrote:

> DrMajorBob wrote:
>>> Well, I think when you are using Mathematica it is the designers of
>>> Mathematica who decide what is rational and what is not.
>>  Not to repeat myself, but RootApproximant said 100 out of 100  
>> randomly  chosen machine-precision reals ARE algebraic.
>>  If your interpretation is correct and consistent with Mathematica, and  
>> if  Mathematica is internally consistent on the topic, virtually all of  
>> those  reals should NOT have been algebraic.
>>  Mathematica designers wrote RootApproximant, I assume?
>>  Hence, I'd have to say your interpretation is no better than mine.
>>  Bobby
>
> Regarding RootApproximant design, the missing functionality is this.  
> There is no limiting of coefficient size (or if there is, it's not  
> obvious to me how it might be done). Rationalize has such limiting  
> capability, more or less (though it is really built into the algorithm;  
> the optional second argument does not impose it).
>
> A consequence is that all randoms can be made to fit some algebraic  
> number of whatever degree, simply by allowing siufficiently large  
> coefficients.
>
> I am not sure whether this is a design flaw. It might alternatively have  
> been intentional, due to possible implementational difficulties in doing  
> otherwise. In retrospect, it kinda surprises me that I am not familiar  
> with the history of this particular design issue, but there you have it.
>
> Daniel Lichtblau
> Wolfram Research
>
>


-- 
DrMajorBob at yahoo.com


  • Prev by Date: Re: Integrate 'learns'?
  • Next by Date: Re: Solve Minus Sign
  • Previous by thread: Re: algebraic numbers
  • Next by thread: Re: Re: Re: algebraic numbers