maryada

maryada is a no_std binary64 interval arithmetic library conforming to IEEE Std 1788.1-2017. It provides bare and decorated real intervals, outward-rounded elementary operations, and text and binary interchange. Rectangular complex intervals are available through an optional feature.

The conformance claim applies to the real interval API. The rectangular complex interval extension is outside the scope of the standard. See CONFORMANCE.md for the operation accuracy declarations, required features, implementation details, and test coverage.

use maryada::Interval;

let x = Interval::new(1.0, 2.0);
let y = x.sqr();

assert_eq!(y.bounds(), (1.0, 4.0));

Features

• complex enables the ComplexBox rectangular complex interval API.
• num-complex enables complex plus interoperability with num_complex::Complex64.

Additionally, I have added some basic support for complex-valued operations (not defined in the IEEE standard). Note that complex functions transform interval spaces in nontrivial ways, so while the resulting image from this library will contain the true image, it is not guaranteed to be equal to it, though it may be equal under certain operations.

Future plans

• Support for alternate complex interval space formulations, like disks and polyarcs
• Linear algebra methods
• Potentially a PyO3 binding if I find it useful

Licensing

maryada is available under either the MIT License or the Apache License 2.0.