S
implex
Simplex_Auxiliary
Rel_Chain
Simplex_Algebra
Abstract_Linear_Poly
Linear_Poly_Maps
QDelta
Simplex
Simplex_Incremental