:: deftheorem Def6 defines BCS SIMPLEX1:def 6 :
for n being Nat
for V being RealLinearSpace
for Kv being non void SimplicialComplex of V st |.Kv.| c= [#] Kv holds
BCS (n,Kv) = subdivision (n,(center_of_mass V),Kv);