Home Online Manual
Back: Term orderings
Forward: Implemented algorithms
FastBack: Emacs user interface
FastForward: Implemented algorithms
Up: Rings and orderings
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

3.3.4 Coefficient rings

SINGULAR supports coefficient ranges which are not fields, i.e. the integers $Z$ and the finite rings $Z/n$ for a number n. These coefficient rings were implemented in SINGULAR 3.0.5 and at the moment only limited functionality is available.

p-adic numbers

The p-adic integers $Z_p$ are the projective limit of the finite rings $Z/p^n$ for n to infinity. Therefore, computations in this ring can be approximated by computations in $Z/p^n$ for large n.