Figure Asymptote geometry -- 057