polynomial height