some details in integer-valued polynomials

Author: fchapoton

src/sage/rings/polynomial/integer_valued_polynomials.py

@@ -262,7 +262,7 @@ def gen(self, i=0):
                 return self.algebra_generators()[0]
 
             @cached_method
-            def algebra_generators(self):
+            def algebra_generators(self) -> Family:
                 r"""
                 Return the generators of this algebra.
 
@@ -456,7 +456,7 @@ class Shifted(CombinatorialFreeModule, BindableClass):
             sage: 1 - S[2] * S[2] / 2
             S[0] - 1/2*S[2] + 3*S[3] - 3*S[4]
         """
-        def __init__(self, A):
+        def __init__(self, A) -> None:
             r"""
             Initialize ``self``.
 
@@ -700,7 +700,7 @@ def _poly(self, i):
                 sage: F._poly(4)
                 1/24*x^4 + 5/12*x^3 + 35/24*x^2 + 25/12*x + 1
             """
-            x = polygen(QQ, 'x')
+            x = polygen(self.base_ring(), 'x')
             return binomial(x + i, i)
 
         class Element(CombinatorialFreeModule.Element):
@@ -809,7 +809,7 @@ def derivative_at_minus_one(self):
                 """
                 return QQ.sum(c / QQ(i) for i, c in self if i)
 
-            def h_vector(self):
+            def h_vector(self) -> vector:
                 """
                 Return the numerator of the generating series of values.
 
@@ -828,7 +828,8 @@ def h_vector(self):
                 d = max(self.support(), default=-1)
                 m = matrix(QQ, d + 1, d + 1,
                            lambda j, i: (-1)**(d - j) * (d - i).binomial(d - j))
-                v = vector(QQ, [self.coefficient(i) for i in range(d + 1)])
+                v = vector(self.base_ring(),
+                           [self.coefficient(i) for i in range(d + 1)])
                 return m * v
 
             def h_polynomial(self):