First time here? Check out the FAQ!
answered 2020-06-01 01:23:14 +0100
I was persuaded that ZZ was defined by default as RR. In fact I must add ZZ = IntegerRing() and replace RR by ZZ.
RR
ZZ