Have you looked at IdentifyTwoCocycle and IsTwoCoboundary here: http://magma.maths.usyd.edu.au/magma/handbook/text/812 ?