Polygon Area Computation

This file implements the shoelace formula for computing the area of a polygon.

def shoelaceArea (vertices : List RationalPoint) : ℚ

Compute the signed area of a polygon using the shoelace formula

Equations

• One or more equations did not get rendered due to their size.

def ConvexPolygon.area (poly : ConvexPolygon) : ℚ

Compute the area of a convex polygon

Equations

• poly.area = shoelaceArea poly.vertex_list