arguments: f:ring_elem >> ring_elem
Given a ring element, f, in a schur ring, replace each monomial with the dimension of the irreducible GL(n) representation having that monomial as highest weight, and return the resulting sum. (f is not modified).
