Code and Miscellany Related to Representation Reduction