Homomorphisms lifted from base ring in PowerSeriesRing do not preserve precision

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

liu.henry.hl
55 ●1 ●1 ●5

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

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

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

vdelecroix
7645 ●20 ●85 ●168 http://www.labri.fr/pe...

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

add a comment

Your Answer

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

Add Answer

Question Tools

Stats

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

Seen: 280 times

Last updated: Jan 23 '19

Homomorphisms lifted from base ring in PowerSeriesRing do not preserve precision edit

1 Answer