150397Sobrien# language: C 2169689Skanc 3132718Skan 418334Speter# parameter n 550397Sobrien1 3 618334Speter# n 1 7132718Skan1 0 1 818334Speter0 9132718Skan 1018334Speter2 # Number of statements 1118334Speter 1218334Speter1 1318334Speter# {i, j, k | 1<=i<=n; 1<=j<=i-1 i+1<=k<=n} 14132718Skan6 6 1518334Speter# i j k n 1 1618334Speter1 1 0 0 0 -1 1718334Speter1 -1 0 0 1 0 1818334Speter1 0 1 0 0 -1 1918334Speter1 1 -1 0 0 -1 20132718Skan1 -1 0 1 0 -1 21169689Skan1 0 0 -1 1 0 22169689Skan0 0 0 2318334Speter 24117395Skan1 2518334Speter# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n} 2618334Speter6 6 2718334Speter# i j k n 1 2818334Speter1 1 0 0 0 -1 2918334Speter1 -1 0 0 1 0 3018334Speter1 -1 1 0 0 -1 3118334Speter1 0 -1 0 1 0 3218334Speter1 -1 0 1 0 -1 3318334Speter1 0 0 -1 1 0 3418334Speter0 0 0 3518334Speter0 3650397Sobrien 3750397Sobrien2 # Scattering functions 3818334Speter# Et les instructions de chunking... 39117395Skan2 8 4018334Speter# c1 c2 i j k n 1 4118334Speter0 1 0 -1 0 0 0 0 42169689Skan0 0 1 0 0 -1 0 0 4318334Speter 44132718Skan2 8 45132718Skan# c1 c2 i j k n 1 4690075Sobrien0 1 0 -1 0 0 0 0 4790075Sobrien0 0 1 0 0 -1 0 0 48132718Skan0 49132718Skan 5090075Sobrien2 5118334Speter# Et les instructions de chunking... 5250397Sobrien1 7 5350397Sobrien# c1 i j k n 1 5418334Speter0 1 0 0 0 -1 2 5518334Speter 5650397Sobrien1 7 5718334Speter# c1 i j k n 1 5818334Speter0 1 -1 0 0 0 1 5918334Speter0 60132718Skan 6150397Sobrien2 62117395Skan# Et les instructions de chunking... 6350397Sobrien2 8 6450397Sobrien# c1 c2 i j k n 1 6550397Sobrien0 1 0 -1 0 0 0 0 6650397Sobrien0 0 1 0 0 -1 0 0 6790075Sobrien 6890075Sobrien2 8 6990075Sobrien# c1 c2 i j k n 1 7050397Sobrien0 1 0 -1 0 0 0 0 7150397Sobrien0 0 1 0 0 -1 0 0 7250397Sobrien0 73117395Skan