function s=tostring(a)
	s=sprintf('(%s + %s)',tostring(a.a1),tostring(a.a2));
