Skip to main content

weyl_simple_reflection_map

ogdoad::forms::integral

Function weyl_simple_reflection_map 

Source 
pub fn weyl_simple_reflection_map(
    lattice: &IntegralForm,
    i: usize,
) -> Option<LinearMap<Rational>>
Expand description

The Cartan reflection matrix for the i-th simple root, as a grade-1 LinearMap.