Mou Code

-- source -- rev = PDC(d_lr, c_lr, id, !other @ #!corr, atom, id) trace(rev, [10, 20, 30, 40, 50, 60, 70, 80]) -- end source -- -- trace: rev([10,20,30,40,50,60,70,80]) -- rev([10,20,30,40,50,60,70,80]) divide d_lr -> ([10,20,30,40], [50,60,70,80]) rev([10,20,30,40]) divide d_lr -> ([10,20], [30,40]) rev([10,20]) divide d_lr -> ([10], [20]) rev([10]) ⇣ atom; basef -> [10] rev([20]) ⇣ atom; basef -> [20] post #!corr -> ([(10, 20)], [(20, 10)]) post !other -> ([20], [10]) combine c_lr -> [20,10] rev([30,40]) divide d_lr -> ([30], [40]) rev([30]) ⇣ atom; basef -> [30] rev([40]) ⇣ atom; basef -> [40] post #!corr -> ([(30, 40)], [(40, 30)]) post !other -> ([40], [30]) combine c_lr -> [40,30] post #!corr -> ([(20, 40),(10, 30)], [(40, 20),(30, 10)]) post !other -> ([40,30], [20,10]) combine c_lr -> [40,30,20,10] rev([50,60,70,80]) divide d_lr -> ([50,60], [70,80]) rev([50,60]) divide d_lr -> ([50], [60]) rev([50]) ⇣ atom; basef -> [50] rev([60]) ⇣ atom; basef -> [60] post #!corr -> ([(50, 60)], [(60, 50)]) post !other -> ([60], [50]) combine c_lr -> [60,50] rev([70,80]) divide d_lr -> ([70], [80]) rev([70]) ⇣ atom; basef -> [70] rev([80]) ⇣ atom; basef -> [80] post #!corr -> ([(70, 80)], [(80, 70)]) post !other -> ([80], [70]) combine c_lr -> [80,70] post #!corr -> ([(60, 80),(50, 70)], [(80, 60),(70, 50)]) post !other -> ([80,70], [60,50]) combine c_lr -> [80,70,60,50] post #!corr -> ([(40, 80),(30, 70),(20, 60),(10, 50)], [(80, 40),(70, 30),(60, 20),(50, 10)]) post !other -> ([80,70,60,50], [40,30,20,10]) combine c_lr -> [80,70,60,50,40,30,20,10] -- result: [80,70,60,50,40,30,20,10] --