Skip to content

Use default getindex for vector[face] when no Polytope is generated#246

Merged
ffreyer merged 7 commits intomasterfrom
ff/face-getindex
Mar 24, 2025
Merged

Use default getindex for `vector[face]` when no Polytope is generated#246
ffreyer merged 7 commits intomasterfrom
ff/face-getindex

Commits

Commits on Mar 7, 2025

Commits on Mar 21, 2025