Libraries.Synthesis.EuclideanDomain

Euclidean domains

Definition

class EuclideanDomain a

Functions

euclid_mod

euclid_div

euclid_gcd

extended_euclid

euclid_inverse

is_unit

inv_mod

Auxiliary functions

rounddiv