> < ^ Date: Tue, 07 Feb 1995 14:43:00 -0800
> < ^ From: Bruce Kaskel <kaskel@math.berkeley.edu >
> ^ Subject: p-adics?

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]