Linear_Inequalities

Missing_Matrix

Missing_VS_Connect

Basis_Extension

Sum_Vec_Set

Integral_Bounded_Vectors

Cone

Convex_Hull

Normal_Vector

Dim_Span

Fundamental_Theorem_Linear_Inequalities

Farkas_Lemma

Farkas_Minkowsky_Weyl

Decomposition_Theorem

Mixed_Integer_Solutions

Integer_Hull