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.

After seeing question Why is $10\frac{\exp(\pi)-\log 3}{\log 2}$ almost an integer? I wonder if there is an algorithm that can find approximate rational dependence?! I pick any irrational numbers $\alpha$, $\beta$, $\gamma$, $ \delta$ and the task is to find successively good approximations for rational numbers $q_i$ in

$q_1\alpha+q_2\beta+q_3\gamma+q_4\delta\approx0$

Basically it's like continued fraction approximations, but for more irrational numbers.

What is such an algorithm called?

share|improve this question
1  
I think the LLL-algorithm of Lenstra, Lenstra, Lovasz does something like this –  Cocopuffs Aug 11 '12 at 8:49
    
@Cocopuffs: Can this algorithm handle rational numbers or is it integer only? –  Gerenuk Aug 11 '12 at 8:55
    
I doubt there's any optimality for rational numbers, although you can certainly divide by a common denominator. I'm not sure exactly how this would work. The problem as given I don't fully understand either, as you can obviously take $q_1 = ... = q_4 = 0$, but I'm sure you want to exclude that. –  Cocopuffs Aug 11 '12 at 9:44
    
like Cocopuffs and Gerry(+1) explained you may use LLL and PSLQ. This was tried here (to get better approximations you need only to increase the precision). –  Raymond Manzoni Aug 11 '12 at 10:56
add comment

1 Answer

up vote 1 down vote accepted

It's called an integer relation algorithm. In addition to LLL mentioned in the comments, there's also PSLQ and others. The Wikipedia article on integer relation algorithms will get you started on understanding these algorithms.

share|improve this answer
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.