dyadic-rationals
| Crates.io | dyadic-rationals |
| lib.rs | dyadic-rationals |
| version | 0.1.2 |
| source | src |
| created_at | 2024-10-31 22:39:50.151337 |
| updated_at | 2024-11-05 18:40:47.323332 |
| description | Binary and Dyadic rational expressions (with binders) in Rust |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1431017 |
| size | 67,541 |
Lef Ioannidis (elefthei)
documentation
README
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.