- A prime finite field is a particular ring of modular integers (whose characteristic is a prime). Hence its implementation should inherit from that of the modular integer ring (where is not necessarily a prime).
- A multivariate polynomial ring
is a particular univariate polynomial ring
.
Hence its implementation should be able to reuse
that of a
*generic*univariate polynomial ring.

*
*

2008-01-07