Algorithms.CL.Auxiliary

Classical functions

Control

assert

assertM

sequence_until

all_eq

while

bounded_while

bounded_iterate

Mathematical functions

primes

primes_to

is_square_free

jacobi_symbol

mod_with_max

divchk

extended_euclid

divides

is_int

continued_list

convergents

Quantum functions

Generic blackboxing

blackbox

Boxed imported arithmetic

arithbox

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

q_bounded_while_with_garbage

q_bounded_while

q_bounded_while_productive

q_do_until