So, this is not about our project, but it affects our project in that it means that power series over ZpCA don't handle inexact zeroes properly. I just wanted to register this issue here.
sage: RB = ZpCA(5, 4)
sage: R = PolynomialRing(RB, 'x')
sage: a = R([RB(1,3), RB(1,3)])
sage: a
(1 + O(5^3))*x + (1 + O(5^3))
sage: z = R([RB(0,3), RB(0,3)], 3)
sage: z
0
sage: z.padded_list()
[]
sage: a.padded_list()
[1 + O(5^3), 1 + O(5^3)]
So, this is not about our project, but it affects our project in that it means that power series over ZpCA don't handle inexact zeroes properly. I just wanted to register this issue here.
sage: RB = ZpCA(5, 4) sage: R = PolynomialRing(RB, 'x') sage: a = R([RB(1,3), RB(1,3)]) sage: a (1 + O(5^3))*x + (1 + O(5^3)) sage: z = R([RB(0,3), RB(0,3)], 3) sage: z 0 sage: z.padded_list() [] sage: a.padded_list() [1 + O(5^3), 1 + O(5^3)]