Definition:Dyadic Rational

From ProofWiki
Jump to navigation Jump to search

Definition

A dyadic rational is a rational number whose denominator, when expressed in canonical form, is an integral power of $2$.

That is, $a \in \Q$ is dyadic if and only if:

$\exists p \in \Z, q \in \Z_{>0}: a = \dfrac p {2^q}$


Also see