#include <CGAL/Algebraic_structure_traits.h>
CGAL::Integral_domain_tag.
Inherited by CGAL::Euclidean_ring_tag.
Tag indicating that a type is a model of the UniqueFactorizationDomain concept.
UniqueFactorizationDomain
DefaultConstructible
AlgebraicStructureTraits