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