gap> Q:=QuadraticNumberField(-5);;
gap> OQ:=RingOfIntegers(Q);;
gap> I:=QuadraticIdeal(OQ,[2,1+Sqrt(-5)]);
ideal of norm 2 in O(Q(Sqrt(-5)))

gap> 6 mod I;
0
