Has any kind of row reduction been implemented modulo prime powers? Right now I'm simply trying to determine if a particular element of (Z/9Z)^d is in the span of a handful of other elements in this space.
I tried to do this by working with matrices over pAdicField(3,2), but this didn't work. (I guess some division by 3 messes things up.)
Is there anyway to do this without writing my own row reduction code??