gap> x:=[ [ 1, 0, 0 ], [ 1, -1, 0 ], [ -4, 0, -1 ] ];;
gap> y:=[ [ 2, 1, 1 ], [ 1, 1, 1 ], [ -3, -3, -2 ] ];;
gap> z:=[ [ 0, 1, 0 ], [ 1, 0, 0 ], [ -2, -2, -1 ] ];;
gap> h:=[ [ 1, 0, 0 ], [ 0, 0, -1 ], [ 0, 1, 1 ] ];;
gap> m:=[ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ];;
gap> VoronoiFactorize(SL(3,Integers),x);
[ 3, -1, 2, 2, 1, -3, -5, -3, -3, -1, -3, -1, -2, -4 ]
gap> VoronoiFactorize(SL(3,Integers),y);
[ 3, -1, 2, 2, 1, -3, -5, -3, -4, -1, -3 ]
gap> VoronoiFactorize(SL(3,Integers),z);
[ 3, -1, 2, 2, 1, -3, -1, -3 ]
gap> VoronoiFactorize(SL(3,Integers),h);
[ 2, 2, 3, -1, -6 ]
gap> VoronoiFactorize(SL(3,Integers),m);
[ -5 ]
