Exact Anti-Aliased Polygons

• Exact algorithm needed for testing and predictable behavior
• Use pixelization requirements to constrain implementation
• Obvious definition is expensive to implement
• New definition meets requirements and is tractable