[GAP Forum] Polynomial Ring of a finite local ring

[Alexander Hulpke]

Dear Forum,

On Dec 9, 2011, at 2:39 AM, Aasma Shaheen wrote:

> How can we find the polynomial Ring of a finite local ring in one
> indeterminate.for example Z4[X].


You can use

X(Integers mod 4,"x");

to create indeterminates (and from them form polynomials), but polynomial rings as separate objects so far are only implemented over fields and integral domains. Also polynomial factorization etc. is not available over these rings.

Best,

   Alexander Hulpke


-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hulpke at math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke