Magma is a wonderful computer package for codes over rings but my favorite functions are missing like the Frobenius, the trace, the p-adic expansion...
Dear Christian, thanks for your answer. I am not sure that p-adic rings are the same thing as Galois rings. At least at the type level they are not. Typing is very important in Magma.