CGAL 6.0  Algebraic Foundations

A model of FieldWithRootOf
is a FieldWithKthRoot
with the possibility to construct it as the root of a univariate polynomial.
Moreover, CGAL::Algebraic_structure_traits< FieldWithRootOf >
is a model of AlgebraicStructureTraits
providing:
CGAL::Algebraic_structure_traits< FieldWithRootOf >::Algebraic_category
derived from CGAL::Field_with_kth_root_tag
CGAL::Algebraic_structure_traits< FieldWithRootOf >::Root_of
which is a model of AlgebraicStructureTraits_::RootOf
FieldWithKthRoot