Figure Asymptote geometry -- 015