由GAP定义的通用全局函数。