loopy
loopy copied to clipboard
Implements a reindexing transformation
The implementation here is based on the paper "Memory optimization by counting points in integer transformations of parametric polytopes".
Draft because:
- [x] Incomplete Implementation
- [x] Needs
pw_qpolynomial_to_expr
- [x] Cleanup
- [x] Needs
- [x] Needs tests
That academia.edu link doesn't seem to work.
That academia.edu link doesn't seem to work.
Oops thanks, fixed!