finite groups?

Stream: Is there code for X?

[Robert Maxton]

Is someone already working on a finite group library?

[Kevin Buzzard]

There is Sylow 1, and the other Sylow theorems are just waiting to be done. Or do you mean a database of finite groups?

[Robert Maxton]

nah, I mean closer to the first sense, "theorems that are useful for finite groups"

[Robert Maxton]

thanks, I'll look and see what we've got