function polygonRotate(polygon, angle, origin){
    var out = [];
    for (var i = 0, l = polygon.length; i < l; i++){
      out.push(pointRotate(polygon[i], angle, origin));
    }
    return out;
  }
// Rotates a polygon by an angle in degrees around an origin.
Rotates a polygon by an angle in degrees around an origin.
Rotates a polygon by an angle in degrees around an origin .
function polygonRotate(polygon, angle, origin){
    var out = [];
    for (var i = 0, l = polygon.length; i < l; i++){
      out.push(pointRotate(polygon[i], angle, origin));
    }
    return out;
  }
function polygonRotate ( polygon , angle , origin ) { var out = [ ] ; for ( var i = 0 , l = polygon . length ; i < l ; i ++ ) { out . push ( pointRotate ( polygon [ i ] , angle , origin ) ) ; } return out ; }
Rotates a polygon by an angle in degrees around an origin.
Rotates a polygon by an angle in degrees around an origin .