Skip to content

fix: change_index now correctly zeros DoubleIndexedVariable#174

Merged
oameye merged 2 commits into
mainfrom
`change_index`-now-correctly-zeros-`DoubleIndexedVariable`-nodes-tagged-`identical=false`-even-when-they-appear-nested-inside-a-larger-product-or-sum-
Jun 16, 2026
Merged

fix: change_index now correctly zeros DoubleIndexedVariable#174
oameye merged 2 commits into
mainfrom
`change_index`-now-correctly-zeros-`DoubleIndexedVariable`-nodes-tagged-`identical=false`-even-when-they-appear-nested-inside-a-larger-product-or-sum-