Figure Asymptote geometry -- 003