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> + FromPrimitive + Display,

Expand description

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

Function flag_algebra::total_sum_is_oneCopy item path