monic-polynomial public under polynomial 6 List Picture As a command %3 n0 monic-polynomial n1 polynomial n1->n0