ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 10 Jan 2019 19:06:35 -0600Homomorphisms lifted from base ring in PowerSeriesRing do not preserve precisionhttps://ask.sagemath.org/question/45002/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,
Henryliu.henry.hlThu, 10 Jan 2019 19:06:35 -0600https://ask.sagemath.org/question/45002/