Quipper.Algorithms.BWT.Simulate

This module contains functions for simulating and debugging BWT oracles.

Generic simulation

simulate_edges :: GateBase -> Oracle -> IO ()

Inputs an oracle and prints out a list of colored edges in text format. This is done by simulating the circuit for every possible input, decomposed to the given GateBase.

render_oracle :: GateBase -> Bool -> Oracle -> Document ()

Input an oracle and output the colored edges in graphical format. This is done by simulating the circuit for every possible input. The second parameter is a boolean which determines whether the node numbering follows the schema of the orthodox oracle (True) or the simple oracle (False).

Testing of specific circuit fragments

simulate_parseNodeRoot :: Int -> IO ()

Simulate parseNodeRoot on all possible inputs for tree height n.

simulate_parseNodeEven :: Int -> IO ()

Simulate parseNodeEven on all possible inputs for tree height n.

simulate_testIsParent :: Int -> IO ()

Simulate testIsParent on all possible inputs for tree height n.

simulate_testIsChild :: Int -> IO ()

Simulate testIsChild on all possible inputs for tree height n.

simulate_setParent :: Int -> IO ()

Simulate setParent on all possible inputs for tree height n.

simulate_setChild :: Int -> IO ()

Simulate setChild on all possible inputs for tree height n.

simulate_setChildInTree :: Int -> IO ()

Simulate setChildInTree on all possible inputs for tree height n.

simulate_setWeld :: Int -> IO ()

Simulate setWeld on all possible inputs for tree height n.

simulate_doWeld1 :: Int -> IO ()

Simulate doWeld1 on all possible inputs for tree height n.

simulate_doWeld0 :: Int -> IO ()

Simulate doWeld0 on all possible inputs for tree height n.

simulate_cAddNum :: Int -> IO ()

Simulate cAddNum (including cAddNumClear) on all possible inputs for tree height n.

simulate_cSubNum :: Int -> IO ()

Simulate cSubNum (including cSubNumClear) on all possible inputs for tree height n.

Auxiliary functions

hibit :: Integral a => Integral b => a -> b

Return the smallest number of bits required to hold the given integer.

Main functions

main_all :: Int -> IO ()

Run simulations of parseNodeRoot, parseNodeEven, testIsParent, testIsChild, setParent, setChild, setChildInTree, setWeld, doWeld0, doWeld1, cAddNum, and cSubNum for tree height n.