Is it possible to work with p-adics in GAP?
Elements of any representation of Z_p (or Q_p) would of course
be ``non-exact'' objects and perhaps as such are not part of the
GAP philosophy. Such a representation would necessarily require
a set limit of precision. So...
How about rings of the form Z/p^nZ (or more generally Z/nZ)?
Does GAP make these rings available in any cases other
than when Z/nZ is a field?
I am generally interested in linear groups over such rings.
Any suggestions would be helpful. Thanks.