Commit 2025-08-07 03:39 1ab0f168
View on Github →refactor(LinearAlgebra/AffineSpace/Independent) move simplex to Simplex.Basic and Simplex.Centroid (#27917) This PR is the first step in the migration and split; see discussion in #27881 . This is part of a series; the next PR: #27919
- Move simplex related material from
LinearAlgebra.AffineSpace.Independent
to a newMathlib.LinearAlgebra.AffineSpace.Simplex.Basic
- Move the centroid of simplex related material from
LinearAlgebra.AffineSpace.Independent
to a newMathlib.LinearAlgebra.AffineSpace.Simplex.Centroid
- No changes or additions to any theorems, definitions, or proofs.
- Added docstrings for the new files:
LinearAlgebra.AffineSpace.Simplex.Basic
andLinearAlgebra.AffineSpace.Simplex.Centroid
. - Modified the docstring in
LinearAlgebra.AffineSpace.Independent
. - Fix the imports in
LinearAlgebra.AffineSpace.FiniteDimensional
,Geometry.Euclidean.Circumcenter
andAnalysis.Normed.Affine.Simplex
Dependency map: Before:LinearAlgebra.AffineSpace.Independent
depends onLinearAlgebra.AffineSpace.Combination
After:LinearAlgebra.AffineSpace.Independent
depends onLinearAlgebra.AffineSpace.Combination
LinearAlgebra.AffineSpace.Simplex.Basic
depends onLinearAlgebra.AffineSpace.Independent
LinearAlgebra.AffineSpace.Simplex.Centroid
depends onLinearAlgebra.AffineSpace.Simplex.Basic