exp(0) and type conversion in a p-adic extension

asked 2024-05-20 10:35:52 +0100

Luis Crespo gravatar image

updated 2024-07-03 00:32:27 +0100

tmonteil gravatar image

I'm trying to use a $p$-adic extension, and I think I have found two bugs.

The first one: When I try to calculate $exp(0)$, the result is an error instead of 1.

R.<a>=Zq(9,prec=5)
zero=R.zero()
exp(zero)

ValueError: unit part of 0 not defined

The second one happens when I try to convert from R to the base ring. I am using zero in the example, but any value (in the base ring) gives the same problem.

R.<a>=Zq(9,prec=5)
zero=R.zero()
R0=R.base_ring()
R0(zero)

RecursionError: maximum recursion depth exceeded in comparison

I think these are bugs because the operations seem completely valid. This is Sage 10.2.

edit retag flag offensive close merge delete

Comments

Please report these bugs at https://github.com/sagemath/sage/issues

Max Alekseyev gravatar imageMax Alekseyev ( 2024-05-20 12:47:20 +0100 )edit
1

I have reported the first as issue #38037. The second is already reported as #33527.

Luis Crespo gravatar imageLuis Crespo ( 2024-05-20 18:02:56 +0100 )edit