Algorithms.USV.Definitions

Types for the Unique Shortest Vector algorithm

type TwoPoint

type CosetState

type Psi_k

General purpose functions

concat_pair

multi_split

find

separate

expand

qdiscard_psi_ks

find_partners

Linear algebra

norm

vector_add

q_vector_add

scalar_mult

q_scalar_mult

matrix_mult

q_matrix_mult

is_zero_vector

Euclid's algorithm

ext_euclid

Classical subroutines

lll

find_prime

is_in_lattice

reduce_lattice

column_op