FieldWithRootOf

Definition

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_type derived from Field_with_kth_root_tag
- CGAL::Algebraic_structure_traits< FieldWithRootOf >::Root_of

Refines

FieldWithKthRoot

See Also

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits