Authors Top

If you have a few years of experience in Computer Science or research, and you’re interested in sharing that experience with the community, have a look at our Contribution Guidelines.


1. Introduction

In this tutorial, we’ll show how to convert a float into a fraction. Additionally, we’ll cover the case where we need to use an approximate solution or restrict the denominator to get a human-readable fraction.

2. Floats and Fractions

In this problem, we have a float \boldsymbol{x} and want to convert it into a fraction \boldsymbol{\frac{p}{q}} where \boldsymbol{q>0}.

For instance, if we have a float 0.3, the fraction we’d like to get is \frac{3}{10}. With x=0.33, we expect \frac{33}{100}.

We’ll focus on the case where x \geq 0 because we can handle negative floats in the same way. Additionally, we’ll restrict x to [0, 1] since covering the case x > 1 is straightforward: we convert x - \lfloor x \rfloor to a fraction and add it to \lfloor x \rfloor.

3. Exact Fractions

Perhaps the simplest way to approach this problem is to convert \boldsymbol{x} into a fraction whose denominator is a power of 10. For example:

    \[x = 0.33 \qquad \mapsto \qquad \frac{p}{q} = \frac{33}{100}\]

We do that by repeatedly multiplying x with 10 until its decimal part gets equal to zero:

Rendered by QuickLaTeX.com

3.1. Example

For instance, this is how our algorithm would handle 0.35:

    \[\begin{matrix} p & p - \lfloor p \rfloor & n \\ 0.35 & 0.35 & 0 \\ 3.5 & 0.5 & 1 \\ 35 & 0 & 2 \end{matrix}\]

It stops when the decimal part gets equal to zero and outputs \frac{35}{100} as the result.

3.2. The Coprime Numerator and Denominator

However, the numerator and denominator in the above example aren’t coprime. Sometimes, we want to simplify the fraction as much as possible. We do that by dividing the numerator and denominator with their greatest common divisor (GCD). For instance, since the GCD of 35 and 100 is 5, we divide both by 5 and get \frac{7}{20} as the fraction form of 0.35.

We can find the GCD with the Euclidean Algorithm. Division with the GCD ensures that the output fraction’s numerator and denominator are coprime:

Rendered by QuickLaTeX.com

4. Approximate Fractions

However, floating-point numbers can be inaccurate. For example, even though we set x to 0.33, the actual value stored in a float variable x could be 0.330000000001 or 0.32999999999. That would cause the above algorithms to output unreadable fractions such as:

    \[\frac{330000000001}{1000000000000}\]

4.1. Truncating Input Floats to the First Few Significant Digits

We can avoid such fractions by considering only the first few digits after the dot. If we take into account only m digits, we can get a better-looking fraction whose absolute error is less than 10^{-m}. However, the precision we require will depend on the use case. So, m=5 could give us acceptable fractions in one case, whereas even m=10 would make them imprecise in another.

To get approximate fractions, we need to tweak the above approach a bit:

Rendered by QuickLaTeX.com

How would this algorithm handle x=0.330000000001 with m=5? The while-loop would stop when n=5. At that point, p would be equal to 33000. The Euclidean Algorithm would output 1000 as the GCD of p=33000 and 10^5=100000. After dividing both by 1000, we’d get \frac{33}{100} as the final result.

4.2. Restricting the Denominator

Sometimes, even the above approach can fail us. For instance, with m=5 and x=0.7543210001, we get the fraction \frac{9429}{12500}. The problem is that it isn’t human-friendly. Humans don’t have an understanding of 1/12500, so fractions with such denominators are confusing.

Instead, a better solution would be \frac{75}{100} or \frac{3}{4}. One way to handle this is to set m to a low value: 1, 2, or 3. But, even that could give us “unreadable” fractions such as \frac{29}{69} or \frac{151}{289}.

We can address this issue by restricting the denominator to a human-friendly integer such as 10, 100, or 20. To do so, we first let the algorithms above give us a fraction (exact or approximate). Then, we post-process it by changing the denominator into the desired number.

Formally, if \frac{p}{q} is our fraction, and we want to use the denominator r \neq q, we transform the fraction as follows:

(1)   \begin{equation*}  \frac{p}{q} \mapsto \frac{p}{\frac{q}{r} \cdot r} = \frac{\frac{pr}{q}}{r} \end{equation*}

Then, we round the numerator to the nearest integer and get a fraction with the denominator we wanted.

4.3. Example

Let’s say that we got \frac{29}{69} using one of the above methods. To change the denominator to 100, we apply rule (1):

    \[\frac{29}{69} \mapsto \frac{29}{\frac{69}{100} \cdot 100} = \frac{\frac{100 \cdot 29}{69}}{100} = \frac{\frac{2900}{69}}{100} \approx \frac{42.0289}{100} \approx \frac{42}{100}\]

As we can see, \frac{42}{100} looks human-friendlier than \frac{29}{69}.

However, we paid for readability with precision. When we rounded 42.0289 to 42, we introduced an additional error. So, this method is adequate only if such a trade-off is acceptable.

5. Conclusion

In this article, we showed four ways of converting a float into a fraction: two exact techniques and two approximate. Which one we choose depends on our requirements regarding precision and readability.

Authors Bottom

If you have a few years of experience in Computer Science or research, and you’re interested in sharing that experience with the community, have a look at our Contribution Guidelines.

Comments are closed on this article!