polynomial system