Intro to Polyhedral Optimization Updated 2026-06-07 wdlin 15 min read Notes for Polyhedral Optimization PL compiler Read