Figure Asymptote geometry -- 040