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.