farkas « old_test « examples « omegalib - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omegalib/examples/old_test/farkas

blob: ce754fc3ba05a41efacc43ac7d85caa60a69e0eb (plain)


symbolic n;
symbolic c;

R := {[i,j] : 1 <= i <= 10 && 1 <= j <= n};

ac := farkas R;
ac;