Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose you calculate the first few (dozen, hundred) digits of a number which you believe to be a rational number. You can calculate the continued fraction for the number and truncate after a large number:

$$ 0.67272727272727745455778089309\approx[0; 1, 2, 17, 1, 69929887587, 5, 1, 1, 2, 2] $$

is probably $[0; 1, 2, 17, 1]=37/55.$

I'm wondering if there is a similarly good method for finding an algebraic number, ideally one that I can use in some computer system since large numbers are hard to work with by hand.

share|improve this question
2  
RootApproximant in Mathematica does just that, if you have access to it. Implementing similar algorithm requires access to lattice reduction algorithm, such as LLL or PSLQ. –  Sasha Jan 31 '12 at 20:24
    
algdep works on PARI/GP. –  Charles Jul 8 '13 at 22:55
    
Python's mpmath module has a findpoly function. –  Dan Stahlke Mar 23 at 17:45
add comment

1 Answer

up vote 9 down vote accepted

Yes, PLSQ is used on the finite set $\{1, \; \lambda, \; \lambda^2, \; \ldots, \; \lambda^n \}$ in hopes of finding a polynomial with integer coefficients for which the number $\lambda$ is a root. If such is found, sometimes the apparent relation can be proved to be correct.

share|improve this answer
    
Wow, it's that easy? Thanks! –  Charles Jan 31 '12 at 20:50
    
Any idea how I can tell if I've found the answer? With rational numbers, I can use the Gauss-Kuzmin distribution to quantify "large", which helps distinguish between things that are close (rational approximation to pi) from those which are unusually close and likely to be 'the' answer. Anything similar here? –  Charles Jan 31 '12 at 21:14
    
@Charles I don't know. Borwein, Borwein, Bailey, and Plouffe are the big names here. I imagine they have some surveys or discussion of purely technical aspects interspersed with their articles giving the proved results. Part of it is, do you have any good reason to think the number is algebraic in the first place? –  Will Jagy Jan 31 '12 at 21:42
    
Coefficients of Binet formulas are algebraic, right? That's one application. I guess the characteristic polynomial gives clues as to the extension field if one knows how to look, but this seems like something that should be done automatically rather than by hand. –  Charles Jan 31 '12 at 22:03
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.