Algorithms.CL.Auxiliary

Classical functions

Control

assert

assertM

sequence_until

all_eq

while

boundedWhile

boundedIterate

Mathematical functions

primesTo

primes

isSquareFree

jacobiSymbol

mod_with_max

divchk

extendedEuclid

divides

is_int

continuedList

convergents

Quantum functions

Generic blackboxing

blackbox

Boxed imported arithmetic

q_ext_euclid

q_add

q_mult

q_div_exact

q_add_in_place

q_add_param_in_place

q_div

q_mult_param

q_mod_unsigned

q_sub_in_place

q_increment

Other arithmetic functions

fprealq_of_QDInt_with_shape

q_div2

q_square

q_gt_param

q_ge_param

q_mod_semi_signed

q_mod_with_max

q_mod_2times_buggy

Looping combinators

bounded_while_with_garbage

bounded_while

bounded_while_productive

do_until