PolynomialRing( R )
PolynomialRing
returns the ring of all polynomials over a field R or
ring-with-one R.
gap> f2 := GF(2);; gap> R := PolynomialRing( f2 ); PolynomialRing( GF(2) ) gap> Z(2) in R; false gap> Polynomial( f2, [Z(2),Z(2)] ) in R; true gap> Polynomial( GF(4), [Z(2),Z(2)] ) in R; false gap> R := PolynomialRing( GF(2) ); PolynomialRing( GF(2) )
GAP 3.4.4