in "poly.red"$
