Have you looked at IdentifyTwoCocycle and IsTwoCoboundary here: http://magma.maths.usyd.edu.au/magma/handbook/text/812 ?
Dave Benson
- 16.2k
- 2
- 42
- 95