Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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?