simplex.rational-points-sum-to-one → simplex.rational-points-sum-to-one