I would like to create the ring from Integers mod m, adding primitive root
of unity of degree n.
gap> I:=ZmodnZ(24); (Integers mod 24) gap> z:=E(12); -E(12)^7
Error, no method found! For debugging hints type ?Recovery from
Error, no 1st choice method found for `ClosureRing' on 2 arguments called
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop ...
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
I could understand this, since z and I have different element families.
But whether I need to add some functionality myself, or there is already
available one to construct such ring ?