[GAP Forum] Quotient of the ring Z_77 by an ideal

Mbg Nimda mbg.nimda at gmail.com
Sun Mar 17 13:10:38 GMT 2019


What is wrong with the following sequence of commands in GAP, trying to
form the quotient of the ring Z/77Z by the ideal generated by  7Z ?

gap> R := ZmodnZ(77);
(Integers mod 77)
gap> o := One(R);
ZmodnZObj( 1, 77 )
gap> i := o*7;
ZmodnZObj( 7, 77 )
gap> I := Ideal(R, [i]);
<two-sided ideal in (Integers mod 77), (1 generators)>
gap> R/I;
Error, no method found! For debugging hints type ?Recovery from
NoMethodFound Error, no 1st choice method found for
`NaturalHomomorphismByIdeal' on 2 arguments at /proc/cygdrive/E/gap-
4.10.0/lib/methsel2.g:250 called from
NaturalHomomorphismByIdeal( R, I ) at /proc/cygdrive/E/gap-
4.10.0/lib/ringhom.gi:648 called from
<function "unknown">( <arguments> )
called from read-eval loop at *stdin*:12
type 'quit;' to quit to outer loop
brk>


More information about the Forum mailing list