The RepeatingDecimal(x) command computes the repeating decimal form of a rational number x. The return value is an object q that represents x exactly in decimal form. The object q can be used with the commands shown on this help page, but in order to use it with other commands you will typically need to convert it to a rational number or a floating-point number.

When q is displayed, if $\mathrm{interface}\left(\mathrm{prettyprint}\right)$ is greater than or equal to $2$, then the repeating part is denoted by a vinculum. Otherwise, the repeating part is delimited by a pair of parentheses.

The Sign command returns $1$ if q is positive and $\mathrm{-1}$ if q is negative. If q is zero, then the return value is _Envsignum0 if it is assigned or $0$ if it is not assigned. (See signum)

The IntegralPart command returns the unsigned integer part of q.

The NonRepeatingPart command returns the non-repeating fractional part of q.

The RepeatingPart command returns the repeating part of q.

For NonRepeatingPart and RepeatingPart, if the keyword argument output is omitted or set to list, then the return value is a list of decimal digits that represents the corresponding part. If output is set to rational, then the return value is the rational number that represents the corresponding part. If output is set to float, then the return value is a floating-point number with the number of significant digits equal to the length of the non-repeating part or the length of the repeating part, depending on the command that was called.

The convert command can be used to convert q into either fractional form or a floating-point number.

evalf may also be used to convert q to a floating-point number. If evalf has an index n, then the output will have n significant digits.

Three operators, +, *, and ^ are defined for q. They can be used with other rational numbers in decimal or fractional form, and with floating-point numbers.

The equality operator = can also be used with q and will recognize equality among rational numbers in different forms and floating-point numbers representing terminating decimals or approximating repeating decimals.

$\mathrm{with}\left(\mathrm{NumberTheory}\right)\:$

$q≔\mathrm{RepeatingDecimal}\left(-\frac{191}{6}\right)$

$q≔-31.8\stackrel{\&conjugate0;}{3}$

$\mathrm{Sign}\left(q\right)$

$\mathrm{-1}$

$\mathrm{IntegralPart}\left(q\right)$

$31$

$\mathrm{NonRepeatingPart}\left(q\right)$

$\left[8\right]$

$\mathrm{NonRepeatingPart}\left(q\,\mathrm{output}=\mathrm{rational}\right)$

$\frac{4}{5}$

$\mathrm{NonRepeatingPart}\left(q\,\mathrm{output}=\mathrm{float}\right)$

$0.8$

$\mathrm{RepeatingPart}\left(q\right)$

$\left[3\right]$

$\mathrm{RepeatingPart}\left(q\,\mathrm{output}=\mathrm{rational}\right)$

$\frac{1}{30}$

$\mathrm{RepeatingPart}\left(q\,\mathrm{output}=\mathrm{float}\right)$

$0.03$

$\mathrm{convert}\left(q\,\mathrm{rational}\right)$

$-\frac{191}{6}$

$\mathrm{convert}\left(q\,\mathrm{float}\right)$

$\mathrm{-31.83333333}$

$q≔\mathrm{RepeatingDecimal}\left(\frac{1}{7}\right)$

$q≔0.\stackrel{\&conjugate0;}{142857}$

$p≔\mathrm{RepeatingDecimal}\left(\frac{1}{3}\right)$

$p≔0.\stackrel{\&conjugate0;}{3}$

$\mathrm{evalf}\left[2\right]\left(p\right)$

$0.33$

$p+q$

$0.\stackrel{\&conjugate0;}{476190}$

$\frac{1}{7}q$

$0.\stackrel{\&conjugate0;}{020408163265306122448979591836734693877551}$

$q^{2.5}$

$0.007713560679$

$\mathrm{evalb}\left(p+q=10\mathrm{RepeatingDecimal}\left(\frac{1}{21}\right)\right)$

$\mathrm{true}$

$\mathrm{evalb}\left(p=\frac{1}{3}\right)$

$\mathrm{true}$

$\mathrm{evalb}\left(0.33333333333333=\frac{1}{3}\right)$

$\mathrm{true}$

The NumberTheory[RepeatingDecimal] command was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.