Have you looked at IdentifyTwoCocycle and IsTwoCoboundary here: http://magma.maths.usyd.edu.au/magma/handbook/text/812 ?
You may have to reduce down to a finite subgroup of $k^\times$ and put it in explicity as a $\mathbb{Z}G$-module first.
Dave Benson
- 16.2k
- 2
- 42
- 95