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_

mapAccumLM

template_mapAccumL

Tests

Addition

majority

template_majority

bit_adder

template_bit_adder

adder

template_adder

test_adder'

test_adder

Subtraction

subtract

template_subtract

test_subtract'

test_subtract

Multiplication

pad_right

template_pad_right

shift

template_shift

takeOnly

template_takeOnly

multiplier'

template_multipliersymb_quote_

multiplier

template_multiplier

test_multiplier'

test_multiplier