Commit 2025-07-16 10:14 83404a60
View on Github →feat: gramSchmidtNormed_linearIndependent and minor tweaks (#27023)
- Add gramSchmidt_zero (about gramSchmidt applied to a set of zero vectors),
- rename the previous gramSchmidt_zero to gramSchmidt_bot (which is the correct name anyway). From the path towards geodesics and the Levi-Civita connection.