Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

answered 4 years ago

Cyrille gravatar image

I was persuaded that ZZ was defined by default as RR. In fact I must add ZZ = IntegerRing() and replace RR by ZZ.