computes correct simplex