Function flag_algebra::flags_are_nonnegative

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

Return the inequalities expressing that the flags of basis are larger than zero.