import "scaling.asy" as scaling; path blade[] = { scale(width)*(dir(-30)--dir(90)--dir(210)--cycle) };