Trait Alias maths_traits::algebra::ring_like::PID

trait PID = UFD + BezoutDomain;

An integral domain where every ideal is generated by one element

ie. a UFD that is Bezout