bsteinb / accurate Goto Github PK

Hi @bsteinb

thank you for this nice repository!

Could you maybe point me towards a resource on which algorithm to choose? I read the original papers, but of course every paper tries to sell their contribution and thus it is hard to gauge which algorithm is actually a good choice. If you would have any thoughts on this, or resources to point to, I would very much appreciate it.

Thank you
Lukas

error[E0034]: multiple applicable items in scope
--> /home/parrot/.cargo/registry/src/github.com-1ecc6299db9ec823/accurate-0.3.0/src/sum/ifastsum.rs:78:32
|
78 | sm = sm.max(st.abs());
| ^^^ multiple abs found
|
note: candidate #1 is defined in the trait ieee754::Ieee754
--> /home/parrot/.cargo/registry/src/github.com-1ecc6299db9ec823/ieee754-0.2.6/src/traits.rs:472:5
|
472 | fn abs(self) -> Self;
| ^^^^^^^^^^^^^^^^^^^^^
note: candidate #2 is defined in the trait num::Float
--> /home/parrot/.cargo/registry/src/github.com-1ecc6299db9ec823/num-traits-0.2.12/src/float.rs:1191:5
|
1191 | fn abs(self) -> Self;
| ^^^^^^^^^^^^^^^^^^^^^
help: disambiguate the associated function for candidate #1
|
78 | sm = sm.max(ieee754::Ieee754::abs(st));
| ^^^^^^^^^^^^^^^^^^^^^^^^^
help: disambiguate the associated function for candidate #2
|
78 | sm = sm.max(num::Float::abs(st));
| ^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try rustc --explain E0034.
error: could not compile accurate.

To learn more, run the command again with --verbose.
warning: build failed, waiting for other jobs to finish...
error: build failed

Ubuntu 20.04
stable-x86_64-unknown-linux-gnu (default)
rustc 1.47.0 (18bf6b4f0 2020-10-07)

Some unsafe code relies on RawExponent::raw_exponent() < FloatFormat::base_pow_exponent_digits() to be sound. Currently a user could write a custom float type in safe rust and trigger UB by messing up the trait implementation.

Example:
https://github.com/bsteinb/accurate/blob/master/src/sum/onlineexactsum.rs#L63

I searched for Kahan, floating point precision, sum, ... and it did not pop up.

It might be worth it to expend some time doing some crates.io SEO, e.g., expanding the readme with more information, maybe mentioning which algorithms are implemented in this crate, etc.