For direct sums, iterate over the direct summands to find basis elements of the deformation space#143
Merged
lgoettgens merged 3 commits intomasterfrom lg/direct_sumsDec 14, 2023
+228-127
Commits
Commits on Dec 14, 2023
- committed
- committed
- committed
