hcomplex 0.2.0

Lightweight complex and hypercomplex algebra library
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

mod traits;
mod construct;
mod second_order;
mod math;
mod specific;
pub mod format;

#[cfg(feature = "random")]
pub mod random;

#[cfg(feature = "approx")]
pub mod approx;

#[cfg(all(test, feature = "random", feature = "approx"))]
mod tests;


use num_complex::{Complex as NumComplex};

pub use traits::{Conj, Dot, NormSqr, Norm, NormL1, Algebra};
pub use construct::{Construct};


/// 2-dimensional commutative and associative algebra.
pub type Complex<T> = Construct<T, T>;

/// 4-dimensional associative but non-commutative algebra.
pub type Quaternion<T> = Construct<T, Complex<T>>;

/// 8-dimensional non-commutative and non-associative algebra.
pub type Octonion<T> = Construct<T, Quaternion<T>>;

/// 16-dimensional non-commutative and non-associative algebra with nontrivial zero divisors.
pub type Sedenion<T> = Construct<T, Octonion<T>>;


impl<T> From<NumComplex<T>> for Complex<T> {
    fn from(other: NumComplex<T>) -> Self {
        Self::new(other.re, other.im)
    }
}
impl<T> Into<NumComplex<T>> for Complex<T> {
    fn into(self) -> NumComplex<T> {
        let (re, im) = self.split();
        NumComplex { re, im }
    }
}