circumcenterWeightsWithCircumcenter

English

circumcenterWeightsWithCircumcenter assigns 0 weight to all vertex indices and 1 to the circumcenter index.

Русский

circumcenterWeightsWithCircumcenter присваивает нулевые веса всем индексам вершин и единицу индексу circumcenter.

LaTeX

$$$\text{circumcenterWeightsWithCircumcenter}(n)\; (\text{pointIndex } i) = 0, \; \text{circumcenterIndex} \mapsto 1$$$

Lean4

/-- The weights for the circumcenter of a simplex, in terms of `pointsWithCircumcenter`. -/
def circumcenterWeightsWithCircumcenter (n : ℕ) : PointsWithCircumcenterIndex n → ℝ
  | pointIndex _ => 0
  | circumcenterIndex => 1

Похожие утверждения