A group theory library