Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP