gh-34988: Integer-valued polynomial ring

    
Thanks for contributing to Sage! Detailed instructions to be added
shortly.

Please make sure to also have a look at our
[Code Style Conventions](https://doc.sagemath.org/html/en/developer/codi
ng_basics.html).

Fixes #34814
    
URL: #34988
Reported by: Frédéric Chapoton
Reviewer(s): Frédéric Chapoton, Travis Scrimshaw

src/doc/en/reference/polynomial_rings/polynomial_rings_univar.rst

@@ -43,3 +43,5 @@ whereas others have multiple bases.
 
    sage/rings/polynomial/polynomial_compiled
    sage/rings/polynomial/polynomial_fateman
+
+   sage/rings/polynomial/integer_valued_polynomials

src/sage/rings/polynomial/all.py

@@ -1,8 +1,7 @@
 """
 Polynomials
 """
-
-#*****************************************************************************
+# ****************************************************************************
 #       Copyright (C) 2005 William Stein <wstein@gmail.com>
 #
 #  Distributed under the terms of the GNU General Public License (GPL)
@@ -14,8 +13,8 @@
 #
 #  The full text of the GPL is available at:
 #
-#                  http://www.gnu.org/licenses/
-#*****************************************************************************
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
 
 from sage.misc.lazy_import import lazy_import
 
@@ -51,3 +50,7 @@
 
 # Evaluation of cyclotomic polynomials
 from sage.rings.polynomial.cyclotomic import cyclotomic_value
+
+# Integer-valued Univariate Polynomial Ring
+lazy_import('sage.rings.polynomial.integer_valued_polynomials',
+            'IntegerValuedPolynomialRing')