Mou Code

-- source -- broad = PDC(d_lr, c_lr, id, (id, !other) @ #(nil, corr), atom, id) trace(broad, [1, 0, 0, 0, 0, 0, 0, 0]) -- end source -- -- trace: broad([1,0,0,0,0,0,0,0]) -- broad([1,0,0,0,0,0,0,0]) divide d_lr -> ([1,0,0,0], [0,0,0,0]) broad([1,0,0,0]) divide d_lr -> ([1,0], [0,0]) broad([1,0]) divide d_lr -> ([1], [0]) broad([1]) ⇣ atom; basef -> [1] broad([0]) ⇣ atom; basef -> [0] post #(nil,corr) -> ([1], [(0, 1)]) post (id_, !other) -> ([1], [1]) combine c_lr -> [1,1] broad([0,0]) divide d_lr -> ([0], [0]) broad([0]) ⇣ atom; basef -> [0] broad([0]) ⇣ atom; basef -> [0] post #(nil,corr) -> ([0], [(0, 0)]) post (id_, !other) -> ([0], [0]) combine c_lr -> [0,0] post #(nil,corr) -> ([1,1], [(0, 1),(0, 1)]) post (id_, !other) -> ([1,1], [1,1]) combine c_lr -> [1,1,1,1] broad([0,0,0,0]) divide d_lr -> ([0,0], [0,0]) broad([0,0]) divide d_lr -> ([0], [0]) broad([0]) ⇣ atom; basef -> [0] broad([0]) ⇣ atom; basef -> [0] post #(nil,corr) -> ([0], [(0, 0)]) post (id_, !other) -> ([0], [0]) combine c_lr -> [0,0] broad([0,0]) divide d_lr -> ([0], [0]) broad([0]) ⇣ atom; basef -> [0] broad([0]) ⇣ atom; basef -> [0] post #(nil,corr) -> ([0], [(0, 0)]) post (id_, !other) -> ([0], [0]) combine c_lr -> [0,0] post #(nil,corr) -> ([0,0], [(0, 0),(0, 0)]) post (id_, !other) -> ([0,0], [0,0]) combine c_lr -> [0,0,0,0] post #(nil,corr) -> ([1,1,1,1], [(0, 1),(0, 1),(0, 1),(0, 1)]) post (id_, !other) -> ([1,1,1,1], [1,1,1,1]) combine c_lr -> [1,1,1,1,1,1,1,1] -- result: [1,1,1,1,1,1,1,1] --