Figure Asymptote geometry -- 013