[Edu-sig] More group theory with Python