For updating the InvariantRing package