Ask Your Question

Homomorphisms lifted from base ring in PowerSeriesRing do not preserve precision

asked 2019-01-11 02:06:35 +0200

liu.henry.hl gravatar image

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?



edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2019-01-23 07:44:20 +0200

vdelecroix gravatar image

Indeed, this is broken. Note that it works fine with the identity morphism

sage: fR = Hom(R, R).one()
sage: fR
Identity endomorphism of Power Series Ring in x over Integer Ring
sage: fR(1 + x + O(x^2))
1 + x + O(x^2)

But not for the lifted identity

sage: fZZ = Hom(ZZ, ZZ).one()
sage: fR2 = Hom(R, R)(fZZ)
sage: fR2(1 + x + O(x^2))
1 + x
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2019-01-11 02:06:35 +0200

Seen: 222 times

Last updated: Jan 23 '19