Figure Asymptote geometry -- 089