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> _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum