norman 0.0.4

Implementations of different norms for elements of vector spaces
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

/******************************************************************************
 * Copyright 2019 Manuel Simon
 * This file is part of the norman library.
 *
 * Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
 * https://www.apache.org/licenses/LICENSE-2.0> or the MIT license
 * <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your
 * option. This file may not be copied, modified, or distributed
 * except according to those terms.
 *****************************************************************************/

//! Implementations of the norm traits for [`noisy_float::NoisyFloat`].

use num_traits::Float;
use noisy_float::{NoisyFloat, FloatChecker};

use crate::desc::Abs;

use crate::{Norm, Distance};

impl<F: Float, C: FloatChecker<F>> Norm<Abs> for NoisyFloat<F, C> {
    type Output = Self;
    fn norm(&self, _desc: Abs) -> Self {
        self.abs()
    }
}

impl<F: Float, C: FloatChecker<F>> Distance<Abs> for NoisyFloat<F, C> {
    type Output = Self;
    fn distance(&self, other: &Self, _desc: Abs) -> Self {
        (*self - *other).abs()
    }
}

#[cfg(test)]
mod tests {
    use noisy_float::types::{r32, r64};

    use crate::{Norm, Distance};
    use crate::desc::Abs;

    #[test]
    fn noisy_float_norm() {
        assert_eq!(r32(4.0).norm(Abs::new()), 4.0);
        assert_eq!(r64(-4.0).norm(Abs::new()), 4.0);
    }

    #[test]
    fn noisy_float_distance() {
        assert_eq!(r32(4.0).distance(&r32(2.0), Abs::new()), 2.0);
        assert_eq!(r64(4.0).distance(&r64(7.0), Abs::new()), 3.0);
    }
}