Skip to content

Add var_indices for mpolys#2217

Merged
lgoettgens merged 1 commit intoNemocas:masterfrom
SoongNoonien:var_indices
Nov 20, 2025
Merged

Add `var_indices` for mpolys#2217
lgoettgens merged 1 commit intoNemocas:masterfrom
SoongNoonien:var_indices

Commits

Commits on Nov 19, 2025