QuipperLib.ClassicalOptim.QuickCheckArith

Binary representation of integers

int_of_boollist

boollist_of_int

Circuit templates for common functions

template_map

template_zip

template_tail

template_symb_obracket_symb_cbracket_

template_symb_dollar_

mapAccumLM

template_mapAccumL

Tests

Addition

majority

bit_adder

adder

test_adder'

test_adder

Subtraction

subtract

test_subtract'

test_subtract

Multiplication

pad_right

shift

takeOnly

multiplier'

multiplier

test_multiplier'

test_multiplier