mirror of https://github.com/CGAL/cgal
31 lines
1.0 KiB
TeX
31 lines
1.0 KiB
TeX
\begin{ccRefConcept}{FieldWithRootOf}
|
|
|
|
\ccDefinition
|
|
|
|
A model of \ccc{FieldWithRootOf} is a \ccc{FieldWithKthRoot} with the possibility to
|
|
construct it as the root of a univariate polynomial.
|
|
|
|
Moreover, \ccc{CGAL::Algebraic_structure_traits< FieldWithRootOf >} is a model of \ccc{AlgebraicStructureTraits} providing:\\
|
|
- \ccc{CGAL::Algebraic_structure_traits< FieldWithRootOf >::Algebraic_type} derived from \ccc{Field_with_kth_root_tag} \\
|
|
- \ccc{CGAL::Algebraic_structure_traits< FieldWithRootOf >::Root_of} model of \ccc{AlgebraicStructureTraits::RootOf}\\
|
|
|
|
\ccRefines
|
|
\ccc{FieldWithKthRoot}
|
|
|
|
\ccSeeAlso
|
|
|
|
\ccRefIdfierPage{IntegralDomainWithoutDivision}\\
|
|
\ccRefIdfierPage{IntegralDomain}\\
|
|
\ccRefIdfierPage{UniqueFactorizationDomain}\\
|
|
\ccRefIdfierPage{EuclideanRing}\\
|
|
\ccRefIdfierPage{Field}\\
|
|
\ccRefIdfierPage{FieldWithSqrt}\\
|
|
\ccRefIdfierPage{FieldWithKthRoot}\\
|
|
\ccRefIdfierPage{FieldWithRootOf}\\
|
|
\ccRefIdfierPage{AlgebraicStructureTraits}\\
|
|
|
|
%\ccHasModels
|
|
%\ccc{leda_real} (version > 5.1)\\
|
|
%\ccc{CORE::Expr} \\
|
|
|
|
\end{ccRefConcept} |