Figure Asymptote geometry -- 012