reflectionCircumcenterWeightsWithCircumcenter

English

The weights for the reflection of the circumcenter in an edge are 1 for the two edge vertices and -1 for the circumcenter index.

Русский

Вес reflectionCircumcenterWeightsWithCircumcenter определяет 1 на контурах двух вершин ребра и -1 на circumcenterIndex.

LaTeX

$$$reflectionCircumcenterWeightsWithCircumcenter(n)(i) = \begin{cases}1 & \text{если } i=i_1 \text{ или } i=i_2 \\ 0 & \text{иначе} \end{cases},\; reflectionCircumcenterWeightsWithCircumcenter(n)(circumcenterIndex)=-1$$$

Lean4

/-- The weights for the reflection of the circumcenter in an edge of a
simplex.  This definition is only valid with `i₁ ≠ i₂`. -/
def reflectionCircumcenterWeightsWithCircumcenter {n : ℕ} (i₁ i₂ : Fin (n + 1)) : PointsWithCircumcenterIndex n → ℝ
  | pointIndex i => if i = i₁ ∨ i = i₂ then 1 else 0
  | circumcenterIndex => -1

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