LIBRARY meout;
fld : rationals;
vs : vector space (2,fld);
grp : matrix group (vs);
grp.generators :
	A = MAT(
		1,0:
		-1,-1),
	B = MAT(
		0,1:
		1,0);
VEruntime = 16;
FINISH;