Something about the symbolic representation of loops. Could be useful for Aesara. References Website Polyhedral compilation as a design patter for compilers What is polyhedral compilation? (video)