WIP: undocumented feature: dimension_ - #738

Draft

jodavies wants to merge 2 commits into

form-dev:masterfrom

jodavies:dimension

Commits on Oct 21, 2025

fix: bugs in DimensionExpression when extrasymbol has inconsistent dim
jodavies
committed
9b7e97d
test: add tests/examples of the use of dimension_
jodavies
committed
d9ef3f0