GAP computer algebra system