Figure Asymptote geometry -- 028