Open pp-mo opened 3 months ago
Provide a utility to remove unused dimensions.
Something like this is already part of the proposed "slicing" util : #69 It may well also be useful to anyone including/excluding a subset of variables
Provide a utility to remove unused dimensions.
Something like this is already part of the proposed "slicing" util : #69 It may well also be useful to anyone including/excluding a subset of variables