Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.
