gap> START_TEST("HAP library");
gap> Q:=QuadraticNumberField(-2);;
gap> OQ:=RingOfIntegers(Q);;
gap> I:=QuadraticIdeal(OQ,7);;
gap> G:=HAP_CongruenceSubgroupGamma0(I);;
gap> F:=AsFpGroup(G);;
gap> AbelianInvariants(F);
[ 0, 0, 0, 2, 2, 3, 3, 4, 16 ]
gap> STOP_TEST( "tst.tst", 1000 );
