Code and miscellany related to Representation Reduction