Let $G$ be a group and $H$ a subgroup. Suppose $M$ is a $kN_G(H)$-module ($k$ a field). Then the $H$-fixed points in $M$ denoted $M^H$ is a $kN_G(H)$-module. Is there a way to access this module in Magma?
More specifically, it is easy enough to find $M^H$ by calling Fix(Restriction(M,H)). But is there any way to force Magma to consider this as a $kN_G(H)$-module, it only recognizes it as an $kH$-module.