> < ^ From:

> ^ Subject:

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.

--Bruce Kaskel

kaskel@math.berkeley.edu

> < [top]