Commit 2026-10-25 10:42 90fc5d63
View on Github →refactor(Geometry/Convex): make StdSimplex extend Finsupp (#43309)
Among other things, this lets users write w.support for w : StdSimplex _ _ instead of w.weights.support. It prints the same, however.
From the Polytopes in Berlin workshop, where participants requested that they could write w.support instead of w.weights.support.