Equality of dyadic digits is simply the equality of its elements.
In order to test other relationships, we first express
the numerator terms of the dyadic fraction in terms of the same
denominator, and then test the numerators. For example, to test whether
, let
Now return the result . Other relational operators may
be substituted for the greater than or equal (
) to perform other tests.