# dyadic-rationals
**dyadic-rationals** is a Rust library for performing symbolic algebra with dyadic rational numbers. Dyadic rationals, or binary rationals, are numbers that can be expressed as fractions with a power of two as the denominator (e.g., `1/2`, `3/2`, `3/8`). These numbers have finite binary representations, making them ideal for precise approximations in computer science and mathematics.
### Features
- **Arithmetic Operations**: Supports addition, subtraction, and multiplication, which maintain closure within the dyadic rational ring.
- **Division by Powers of Two**: Includes division by powers of two, ensuring the result remains within the set of dyadic rationals.
- **Exact Fractional Representation**: Represents dyadic numbers in their exact fractional form to avoid rounding errors.
- **Simple API**: Provides a clear interface for algebraic operations on dyadic numbers, designed for ease of use in symbolic calculations.
### Mathematical Background
Dyadic rationals form a ring, closed under addition, subtraction, multiplication, and division by powers of two. These properties make dyadic rationals valuable in applications requiring precise, finite representations, including numerical analysis, cryptography, and formal verification.