Figure Asymptote geometry -- 020