Quantum.Synthesis.EuclideanDomain

Euclidean domains

Definition

class EuclideanDomain a

Functions

euclid_mod

euclid_div

euclid_gcd

extended_euclid

euclid_inverse

is_unit

inv_mod

euclid_divides

euclid_associates

euclid_extract_power

Auxiliary functions

rounddiv