Figure Asymptote geometry -- 070