hyperlattice 0.6.0

A small Rust linear algebra library with hyperreal-backed scalar, vector, and matrix types.
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
54
55
56
57

mod common;

use common::{frac, r};
use hyperlattice::{Complex, Problem, i, zero};

#[test]
fn complex_i_squared() {
    assert_eq!((i() ^ 2).unwrap(), Complex::new(r(-1), r(0)));
}

#[test]
fn complex_negative_one_power_uses_reciprocal_semantics() {
    let value = Complex::new(r(3), r(4));

    assert_eq!(value.clone().powi(-1).unwrap(), value.reciprocal().unwrap());
}

#[test]
fn complex_display_forwards_real_formatting() {
    let value = Complex::new(frac(1, 2), r(2));

    assert_eq!(format!("{value}"), "(1/2 + 2i)");
    assert_eq!(format!("{value:#}"), "(0.5 + 2i)");
}

#[test]
fn checked_complex_operations_reject_zero_denominators() {
    let value = Complex::new(r(3), r(4));
    let zero_complex: Complex = Complex::zero();

    assert_eq!(
        zero_complex.clone().reciprocal(),
        Err(Problem::DivideByZero)
    );
    assert_eq!(
        value.clone() / zero_complex.clone(),
        Err(Problem::DivideByZero)
    );
    assert_eq!(value.clone() / zero(), Err(Problem::DivideByZero));
    assert_eq!(zero_complex.clone().powi(-1), Err(Problem::DivideByZero));
    assert_eq!(
        zero_complex.clone().powi_checked(0),
        Err(Problem::NotANumber)
    );
    assert_eq!(
        zero_complex.reciprocal_checked(),
        Err(Problem::DivideByZero)
    );
    assert_eq!(
        value.clone().div_real_checked(zero()),
        Err(Problem::DivideByZero)
    );
    assert_eq!(
        value.div_real_checked(r(2)).unwrap(),
        Complex::new(frac(3, 2), frac(2, 1))
    );
}