Figure Asymptote geometry -- 018