Trait Alias maths_traits::algebra::ring_like::EuclideanSemidomain

trait EuclideanSemidomain = UFSemidomain + EuclideanDiv;

A UF semidomain with a division algorithm for dividing with a remainder