a package to construct the invariant ring of a finite group