The dimension of a weyl algebra is the number of variables
needed; it is half the spray::arity()
. The dimension of
a Weyl algebra generated by \(\left\lbrace
x_1,x_2,\ldots,x_n,\partial_{x_1},\partial_{x_2},\ldots,\partial_{x_n}\right\rbrace\)
is \(n\) (not \(2n\)).