#mathQuestions how do you computationally deal with complex groups? Does sage have a module? I wanna see if math programming will help me with learning group theory (since my brain likes computers lol)? Also ugh I wish that one proof language wasn't called that