Figure Asymptote geometry -- 029