Полиэдральная оптимизация — это инструмент, используемый в компиляторах для оптимизации вложенных циклов. Хотя основные компиляторы, использующие ее, реализуют полиэдральную оптимизацию с нуля,1 существует общедоступная открытая библиотека C под названием Integer Set Library (ISL), которая реализует основные алгоритмы, используемые в полиэдральной оптимизации. Эта статья дает обзор подмножества ISL, в основном фокусируясь на представлении множеств и отношений и базовых манипуляциях с ними.