maryada 0.1.0

No-std binary64 interval arithmetic based on IEEE 1788.1
Documentation

maryada

maryada is a no_std binary64 interval arithmetic library compliant with the IEEE 1788.1 standard. It provides bare and decorated real intervals, outward-rounded elementary operations, text and binary interchange, and rectangular complex intervals.

use maryada::Interval;

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

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

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.