[math-fun] rational-angled triangles with rational side ratios. classification.