#include <CGAL/Algebraic_structure_traits.h>
CGAL::Unique_factorization_domain_tag.
Tag indicating that a type is a model of the EuclideanRing concept.
EuclideanRing
DefaultConstructible
AlgebraicStructureTraits