cadabra2
cadabra2 copied to clipboard
Restrict Distributable to particular arguments
Right now Distributable makes operators distribute over all their arguments; this prevents rules which enable things like in https://stackoverflow.com/questions/50361917/expand-a-function-of-an-arbitrary-number-of-arguments-if-it-is-linear-in-each-ar