IsPolynomialRing( domain )
IsPolynomialRing returns true if the object domain is a ring
record, representing a polynomial ring (see PolynomialRing), and
false otherwise.
gap> IsPolynomialRing( Integers );
false
gap> IsPolynomialRing( PolynomialRing( Integers ) );
true
gap> IsPolynomialRing( LaurentPolynomialRing( Integers ) );
false
GAP 3.4.4