Function flag_algebra::total_sum_is_one

pub fn total_sum_is_one<N, F>(basis: Basis<F>) -> Ineq<N, F> where
    F: Flag,
    N: Num + Clone + Neg<Output = N> + NumCast + Display, 

Return the inequalities expressing that the sum of the flags of basis is equal to one.