alice-math 0.1.0

A topology and algebra library from first principles
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use crate::core::ops::TopologicalGroup;
use crate::maps::exp_log::HasExpMap;
use crate::topology::manifold::Manifold;

pub trait LieGroup: TopologicalGroup + Manifold + HasExpMap {
    type Scalar;
    fn identity_element() -> Self;
    fn lie_algebra_dim(&self) -> usize {
        self.dim()
    }
}