First time here? Check out the FAQ!
interface with magma I would like to do some descent calculations via magma, and to do so I require magma to assume GRH.