Ask Your Question

Revision history [back]

Homomorphisms lifted from base ring in PowerSeriesRing do not preserve precision

Hi all,

Homomorphisms which are lifted from the base ring seem to be unaware that precision exists in power/Laurent series rings. For example:

sage: R.<x> = PowerSeriesRing(ZZ)
sage: f = Hom(ZZ, ZZ)([1])
sage: Rf = Hom(R, R)(f); Rf
Ring endomorphism of Power Series Ring in x over Integer Ring
  Defn: Induced from base ring by
        Ring endomorphism of Integer Ring
          Defn: 1 |--> 1
sage: Rf(1 + x + O(x^2))
1 + x

Can someone confirm that the expected output should be 1 + x + O(x^2), and that this is a bug?

Thanks,

Henry