Simplex

Simplex_Auxiliary

Rel_Chain

Simplex_Algebra

Abstract_Linear_Poly

Linear_Poly_Maps

QDelta

Simplex

Simplex_Incremental