fixed/README.md

265 lines
11 KiB
Markdown
Raw Normal View History

2019-01-26 13:02:58 -08:00
<!-- Copyright © 20182019 Trevor Spiteri -->
2018-08-09 11:02:34 -07:00
<!-- Copying and distribution of this file, with or without
modification, are permitted in any medium without royalty provided the
copyright notice and this notice are preserved. This file is offered
as-is, without any warranty. -->
# Fixed-point numbers
2018-08-10 11:30:03 -07:00
The [*fixed* crate] provides fixed-point numbers. Currently it uses
the [*typenum* crate] for the fractional bit count; it is planned to
move to [const generics] when they are implemented by the Rust
2018-08-10 08:45:08 -07:00
compiler.
2018-08-09 11:02:34 -07:00
2018-08-10 11:43:53 -07:00
The crate provides the following types:
* [`FixedI8`] is a signed eight-bit fixed-point number,
* [`FixedI16`] is a signed 16-bit fixed-point number,
* [`FixedI32`] is a signed 32-bit fixed-point number,
* [`FixedI64`] is a signed 64-bit fixed-point number,
* [`FixedI128`] is a signed 128-bit fixed-point number,
* [`FixedU8`] is an unsigned eight-bit fixed-point number,
* [`FixedU16`] is an unsigned 16-bit fixed-point number,
* [`FixedU32`] is an unsigned 32-bit fixed-point number,
* [`FixedU64`] is an unsigned 64-bit fixed-point number, and
* [`FixedU128`] is an unsigned 128-bit fixed-point number.
All fixed-point numbers can have `Frac` fractional bits, where `Frac`
can have any value from 0 up to and including the size of the number
in bits. When `Frac` is 0, the fixed-point number behaves like an
integer. When `Frac` is equal to the number of bits, the value of the
fixed-point number lies in the range 0.5 ≤ *x* < 0.5 for signed
fixed-point numbers, and in the range 0 ≤ *x* < 1 for unsigned
fixed-point numbers.
2018-08-10 02:13:42 -07:00
2019-08-08 14:25:05 -07:00
Various conversion methods are available:
* All lossless infallible conversions between fixed-point numbers
and numeric primitives are implemented. That is, you can use
[`From`] or [`Into`] for the conversions that always work without
losing any bits.
* For infallible conversions that are not lossless because the
source type may have more fractional bits than the destination
type, [`LossyFrom`] and [`LossyInto`] can be used; these will
truncate any excess fractional bits in the source value.
* Checked conversions are provided between all types using the
[`FromFixed`] and [`ToFixed`] traits, or using the inherent methods
in the fixed-point types themselves.
2018-08-10 11:57:59 -07:00
## Whats new
### Version 0.4.2 news (unreleased)
* The new methods [`from_num`] and [`to_num`] together with their
checked versions were added to all fixed-point numbers.
* The methods `from_fixed`, `to_fixed`, `from_int`, `to_int`,
`from_float`, and `to_float`, and their checked versions, were
deprecated.
* The new method [`from_num`][`Wrapping::from_num`] was added to the
[`Wrapping`] wrapper.
* Bug fix: parsing of decimal fractions was fixed to give correctly
rounded results for long decimal fraction strings, for example
with four fractional bits, 0.96874999… (just below 3132) and
0.96875 (3132) are now parsed correctly as 0.9375 (1516) and 1.0.
[`Wrapping::from_num`]: https://docs.rs/fixed/0.4.2/fixed/struct.Wrapping.html#method.from_num
2019-08-15 05:38:27 -07:00
[`Wrapping`]: https://docs.rs/fixed/0.4.2/fixed/struct.Wrapping.html
[`from_num`]: https://docs.rs/fixed/0.4.2/fixed/struct.FixedI32.html#method.from_num
[`to_num`]: https://docs.rs/fixed/0.4.2/fixed/struct.FixedI32.html#method.to_num
2019-08-15 05:38:27 -07:00
2019-08-12 04:20:13 -07:00
### Version 0.4.1 news (2019-08-12)
* All fixed-point types now implement [`FromStr`].
* The methods [`from_str_binary`], [`from_str_octal`] and
[`from_str_hex`] were added.
[`FromStr`]: https://doc.rust-lang.org/nightly/std/str/trait.FromStr.html
2019-08-12 04:20:13 -07:00
[`from_str_binary`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.from_str_binary
[`from_str_octal`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.from_str_octal
[`from_str_hex`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.from_str_hex
2019-08-08 14:25:05 -07:00
### Version 0.4.0 news (2019-08-08)
2019-08-08 14:25:05 -07:00
* The [*fixed* crate] now requires rustc version 1.31.0 or later.
* The [`traits`] module was added, with its traits [`Fixed`],
[`FixedSigned`], [`FixedUnsigned`], [`FromFixed`], [`ToFixed`],
2019-08-06 12:56:47 -07:00
[`LossyFrom`] and [`LossyInto`].
2019-08-06 07:35:58 -07:00
* The [`saturating_neg`] method was added to all fixed-point
numbers, and the [`saturating_abs`] method was added to signed
fixed-point numbers.
2019-08-06 09:53:41 -07:00
* The [`consts`] module was added.
2019-08-08 14:25:05 -07:00
* The [`signum`] method now wraps instead of panics in release mode.
#### Incompatible changes
* The sealed traits [`Int`] and [`Float`] now have no provided
methods; the methods in the old implementation are new provided by
[`FromFixed`] and [`ToFixed`].
2019-08-08 13:47:49 -07:00
* Deprecated methods were removed.
2019-08-08 14:25:05 -07:00
#### Contributors
* [@jean-airoldie](https://gitlab.com/jean-airoldie)
* [@tspiteri](https://gitlab.com/tspiteri)
2019-08-12 04:20:13 -07:00
[`FixedSigned`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.FixedSigned.html
[`FixedUnsigned`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.FixedUnsigned.html
[`Fixed`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.Fixed.html
[`Float`]: https://docs.rs/fixed/0.4.1/fixed/sealed/trait.Float.html
[`Int`]: https://docs.rs/fixed/0.4.1/fixed/sealed/trait.Int.html
[`consts`]: https://docs.rs/fixed/0.4.1/fixed/consts/index.html
[`saturating_abs`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.saturating_abs
[`saturating_neg`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.saturating_neg
[`signum`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html#method.signum
[`traits`]: https://docs.rs/fixed/0.4.1/fixed/traits/index.html
2018-08-10 11:57:59 -07:00
### Other releases
Details on other releases can be found in [*RELEASES.md*].
[*RELEASES.md*]: https://gitlab.com/tspiteri/fixed/blob/master/RELEASES.md
2019-01-29 12:55:58 -08:00
## Quick examples
2018-08-11 08:33:31 -07:00
```rust
// 20 integer bits, 12 fractional bits
use fixed::types::I20F12;
2018-08-11 08:49:36 -07:00
// 19/3 = 6 1/3
let six_and_third = I20F12::from_int(19) / 3;
2018-08-11 08:33:31 -07:00
// four decimal digits for 12 binary digits
2018-08-11 08:49:36 -07:00
assert_eq!(six_and_third.to_string(), "6.3333");
// find the ceil and convert to i32
assert_eq!(six_and_third.ceil().to_int::<i32>(), 7);
2019-02-03 12:37:17 -08:00
// we can also compare directly to integers
assert_eq!(six_and_third.ceil(), 7);
2018-08-11 08:33:31 -07:00
```
The type [`I20F12`] is a 32-bit fixed-point signed number with 20
integer bits and 12 fractional bits. It is an alias to
2019-08-08 14:25:05 -07:00
<code>[FixedI32][`FixedI32`]&lt;[frac::U12][`frac::U12`]&gt;</code>.
The unsigned counterpart would be [`U20F12`]. Aliases are provided for
all combinations of integer and fractional bits adding up to a total
of eight, 16, 32, 64 or 128 bits.
2019-01-29 12:55:58 -08:00
```rust
// 8 ≤ I4F4 < 8 with steps of 1/16 (about 0.06)
use fixed::types::I4F4;
let a = I4F4::from_int(1);
// multiplication and division by integers is possible
let ans1 = a / 5 * 17;
// 1 / 5 × 17 = 3 2/5 (3.4), but we get 3 3/16 (3.19)
assert_eq!(ans1, I4F4::from_bits((3 << 4) + 3));
assert_eq!(ans1.to_string(), "3.19");
// 8 ≤ I4F12 < 8 with steps of 1/4096 (about 0.0002)
use fixed::types::I4F12;
let wider_a = I4F12::from(a);
let wider_ans = wider_a / 5 * 17;
let ans2 = I4F4::from_fixed(wider_ans);
// now the answer is the much closer 3 6/16 (3.38)
assert_eq!(ans2, I4F4::from_bits((3 << 4) + 6));
assert_eq!(ans2.to_string(), "3.38");
```
The second example shows some precision and conversion issues. The low
precision of `a` means that `a / 5` is 316 instead of 15, leading to
an inaccurate result `ans1` = 3 316 (3.19). With a higher precision,
we get `wider_a / 5` equal to 8194096, leading to a more accurate
intermediate result `wider_ans` = 3 16354096. When we convert back to
four fractional bits, we get `ans2` = 3 616 (3.38).
Note that we can convert from [`I4F4`] to [`I4F12`] using [`From`], as
the target type has the same number of integer bits and a larger
number of fractional bits. Converting from [`I4F12`] to [`I4F4`]
cannot use [`From`] as we have less fractional bits, so we use
[`from_fixed`] instead.
2018-08-10 11:30:03 -07:00
## Using the *fixed* crate
The *fixed* crate is available on [crates.io][*fixed* crate]. To use
it in your crate, add it as a dependency inside [*Cargo.toml*]:
2018-08-10 02:13:42 -07:00
```toml
[dependencies]
2019-08-12 04:20:13 -07:00
fixed = "0.4.1"
2018-08-10 02:13:42 -07:00
```
2019-01-26 13:02:58 -08:00
If you are using the 2015 Rust edition, you also need to declare it by
adding this to your crate root (usually *lib.rs* or *main.rs*):
2018-08-10 02:13:42 -07:00
```rust
extern crate fixed;
```
2019-08-08 14:25:05 -07:00
The *fixed* crate requires rustc version 1.31.0 or later.
2018-08-13 03:10:53 -07:00
2018-08-23 04:12:32 -07:00
## Optional features
2019-01-26 15:39:24 -08:00
The *fixed* crate has two optional feature:
2018-08-23 04:12:32 -07:00
1. `f16`, disabled by default. This provides conversion to/from
[`f16`]. This features requires the [*half* crate].
2019-01-26 15:39:24 -08:00
2. `serde`, disabled by default. This provides serialization support
for the fixed-point types. This feature requires the
2019-01-29 12:55:58 -08:00
[*serde* crate].
2018-08-23 04:12:32 -07:00
2019-01-26 15:39:24 -08:00
To enable features, you can add the dependency like this to
2018-08-23 04:12:32 -07:00
[*Cargo.toml*]:
```toml
[dependencies.fixed]
2019-08-12 04:20:13 -07:00
version = "0.4.1"
2019-01-26 15:39:24 -08:00
features = ["f16", "serde"]
2018-08-23 04:12:32 -07:00
```
2018-08-10 02:13:42 -07:00
## License
2018-08-10 02:34:17 -07:00
This crate is free software: you can redistribute it and/or modify it
under the terms of either
2018-08-10 02:13:42 -07:00
2018-08-10 11:30:03 -07:00
* the [Apache License, Version 2.0][LICENSE-APACHE] or
* the [MIT License][LICENSE-MIT]
2018-08-10 02:13:42 -07:00
at your option.
### Contribution
Unless you explicitly state otherwise, any contribution intentionally
2018-08-10 11:30:03 -07:00
submitted for inclusion in the work by you, as defined in the Apache
License, Version 2.0, shall be dual licensed as above, without any
2018-08-10 02:13:42 -07:00
additional terms or conditions.
[*Cargo.toml*]: https://doc.rust-lang.org/cargo/guide/dependencies.html
2018-08-10 11:30:03 -07:00
[*fixed* crate]: https://crates.io/crates/fixed
2018-08-23 04:12:32 -07:00
[*half* crate]: https://crates.io/crates/half
2019-01-26 15:39:24 -08:00
[*serde* crate]: https://crates.io/crates/serde
2018-08-10 11:30:03 -07:00
[*typenum* crate]: https://crates.io/crates/typenum
2018-08-10 02:13:42 -07:00
[LICENSE-APACHE]: https://www.apache.org/licenses/LICENSE-2.0
[LICENSE-MIT]: https://opensource.org/licenses/MIT
2019-08-12 04:20:13 -07:00
[`FixedI128`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI128.html
[`FixedI16`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI16.html
[`FixedI32`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI32.html
[`FixedI64`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI64.html
[`FixedI8`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI8.html
[`FixedU128`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedU128.html
[`FixedU16`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedU16.html
[`FixedU32`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedU32.html
[`FixedU64`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedU64.html
[`FixedU8`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedU8.html
[`FromFixed`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.FromFixed.html
[`From`]: https://doc.rust-lang.org/nightly/std/convert/trait.From.html
2019-08-12 04:20:13 -07:00
[`I20F12`]: https://docs.rs/fixed/0.4.1/fixed/types/type.I20F12.html
[`I4F12`]: https://docs.rs/fixed/0.4.1/fixed/types/type.I4F12.html
[`I4F4`]: https://docs.rs/fixed/0.4.1/fixed/types/type.I4F4.html
[`Into`]: https://doc.rust-lang.org/nightly/std/convert/trait.Into.html
2019-08-12 04:20:13 -07:00
[`LossyFrom`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.LossyFrom.html
[`LossyInto`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.LossyInto.html
[`ToFixed`]: https://docs.rs/fixed/0.4.1/fixed/traits/trait.ToFixed.html
[`U20F12`]: https://docs.rs/fixed/0.4.1/fixed/types/type.U20F12.html
2018-08-23 04:12:32 -07:00
[`f16`]: https://docs.rs/half/^1/half/struct.f16.html
2019-08-12 04:20:13 -07:00
[`frac::U12`]: https://docs.rs/fixed/0.4.1/fixed/frac/type.U12.html
[`from_fixed`]: https://docs.rs/fixed/0.4.1/fixed/struct.FixedI8.html#method.from_fixed
2018-08-09 11:02:34 -07:00
[const generics]: https://github.com/rust-lang/rust/issues/44580