Figure Asymptote geometry -- 001