diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex index b5389da9e3a..90e4c8c2789 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/AlgebraicStructureTraits.tex @@ -164,13 +164,13 @@ In case \ccc{Algebraic_structure} is a model of \ccc{FieldWithRootOf} this is no \ccRefIdfierPage{FieldWithKthRoot}\\ \ccRefIdfierPage{FieldWithRootOf}\\ \\ -\ccRefIdfierPage{Integral_domain_without_division_tag}\\ -\ccRefIdfierPage{Integral_domain_tag}\\ -\ccRefIdfierPage{Unique_factorization_domain_tag}\\ -\ccRefIdfierPage{Euclidean_ring_tag}\\ -\ccRefIdfierPage{Field_tag}\\ -\ccRefIdfierPage{Field_with_sqrt_tag}\\ -\ccRefIdfierPage{Field_with_kth_root_tag}\\ -\ccRefIdfierPage{Field_with_root_of_tag}\\ +\ccRefIdfierPage{CGAL::Integral_domain_without_division_tag}\\ +\ccRefIdfierPage{CGAL::Integral_domain_tag}\\ +\ccRefIdfierPage{CGAL::Unique_factorization_domain_tag}\\ +\ccRefIdfierPage{CGAL::Euclidean_ring_tag}\\ +\ccRefIdfierPage{CGAL::Field_tag}\\ +\ccRefIdfierPage{CGAL::Field_with_sqrt_tag}\\ +\ccRefIdfierPage{CGAL::Field_with_kth_root_tag}\\ +\ccRefIdfierPage{CGAL::Field_with_root_of_tag}\\ \end{ccRefConcept} diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex index 0d0d367c1ac..00efd60ef4f 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ExplicitInteroperable.tex @@ -15,7 +15,7 @@ is \ccc{Tag_true}. This is also true for the respective global functions. \ccSeeAlso -\ccRefIdfierPage{Coercion_traits}\\ +\ccRefIdfierPage{CGAL::Coercion_traits}\\ \ccRefConceptPage{ImplicitInteroperable}\\ \ccRefConceptPage{AlgebraicStructureTraits}\\ \ccRefConceptPage{RealEmbeddableTraits}\\ diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FractionTraits.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FractionTraits.tex index 61621f26186..488a65b2ea3 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FractionTraits.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/FractionTraits.tex @@ -42,7 +42,7 @@ these denominator-free multiples. \\ \ccSeeAlso -\ccRefIdfierPage{Fraction_traits}\\ +\ccRefIdfierPage{CGAL::Fraction_traits}\\ \ccRefConceptPage{FractionTraits::Decompose}\\ \ccRefConceptPage{FractionTraits::Compose}\\ \ccRefConceptPage{FractionTraits::CommonFactor}\\ diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ImplicitInteroperable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ImplicitInteroperable.tex index 9fef79c185f..64adc54d7c5 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ImplicitInteroperable.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/ImplicitInteroperable.tex @@ -26,8 +26,10 @@ is \ccc{Tag_true}. \ccc{ExplicitInteroperable} \ccSeeAlso -\ccRefIdfierPage{Coercion_traits}\\ +\ccRefIdfierPage{CGAL::Coercion_traits}\\ \ccRefConceptPage{ExplicitInteroperable}\\ +\ccRefConceptPage{AlgebraicStructureTraits}\\ +\ccRefConceptPage{RealEmbeddableTraits}\\ \end{ccAdvanced} \end{ccRefConcept} diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_IsFinite.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_IsFinite.tex index ebcb0486939..1d63a1396be 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_IsFinite.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddableTraits_IsFinite.tex @@ -27,6 +27,10 @@ a value in $\R$, this implies that the argument \ccc{is_valid}. %\ccHasModels +\footnote{In some cases, e.g. NT is \ccc{Interval_nt}, the + \ccc{result_type} differs from \ccc{bool}. + However, it is guaranteed that it is always convertible to \ccc{bool}.} + \ccSeeAlso \ccRefIdfierPage{RealEmbeddableTraits}\\ diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div.tex index 0168345af6e..d9322d63c95 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div.tex @@ -24,7 +24,7 @@ is a model of the \ccc{EuclideanRing} concept. \ccRefConceptPage{EuclideanRing}\\ \ccRefConceptPage{AlgebraicStructureTraits::Div}\\ -\ccRefIdfierPage{mod}\\ -\ccRefIdfierPage{div_mod}\\ +\ccRefIdfierPage{CGAL::mod}\\ +\ccRefIdfierPage{CGAL::div_mod}\\ \end{ccRefFunction} diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div_mod.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div_mod.tex index f437d95314d..1ccf391e49e 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div_mod.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/div_mod.tex @@ -30,7 +30,7 @@ div_mod(const NT1& x, const NT2& y, result_type& q, result_type& r); \ccRefConceptPage{EuclideanRing}\\ \ccRefConceptPage{AlgebraicStructureTraits::DivMod}\\ -\ccRefIdfierPage{mod}\\ -\ccRefIdfierPage{div}\\ +\ccRefIdfierPage{CGAL::mod}\\ +\ccRefIdfierPage{CGAL::div}\\ \end{ccRefFunction} diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex index a60707506a2..ad4f7d91fbc 100755 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/intro.tex @@ -31,7 +31,7 @@ \ccRefConceptPage{ExplicitInteroperable}\\ \ccRefConceptPage{ImplicitInteroperable}\\ \subsubsection*{Classes} -\ccRefIdfierPage{Coercion_traits}\\ +\ccRefIdfierPage{CGAL::Coercion_traits}\\ \subsection*{ Algebraic Structure Hierarchy} @@ -66,7 +66,7 @@ \subsubsection{Related Classes} -\ccRefIdfierPage{Algebraic_structure_traits}\\ +\ccRefIdfierPage{CGAL::Algebraic_structure_traits}\\ %\subsubsection*{Related Tags } %\ccRefIdfierPage{CGAL::Integral_domain_without_division_tag}\\ @@ -78,20 +78,20 @@ \subsubsection{Related Global Functions} -\ccRefIdfierPage{is_zero}\\ -\ccRefIdfierPage{is_one}\\ -\ccRefIdfierPage{square}\\ -\ccRefIdfierPage{simplify}\\ -\ccRefIdfierPage{unit_part}\\ -\ccRefIdfierPage{integral_division}\\ -\ccRefIdfierPage{is_square}\\ -\ccRefIdfierPage{gcd}\\ -\ccRefIdfierPage{div_mod}\\ -\ccRefIdfierPage{div}\\ -\ccRefIdfierPage{mod}\\ -\ccRefIdfierPage{sqrt}\\ -\ccRefIdfierPage{kth_root}\\ -\ccRefIdfierPage{root_of}\\ +\ccRefIdfierPage{CGAL::is_zero}\\ +\ccRefIdfierPage{CGAL::is_one}\\ +\ccRefIdfierPage{CGAL::square}\\ +\ccRefIdfierPage{CGAL::simplify}\\ +\ccRefIdfierPage{CGAL::unit_part}\\ +\ccRefIdfierPage{CGAL::integral_division}\\ +\ccRefIdfierPage{CGAL::is_square}\\ +\ccRefIdfierPage{CGAL::gcd}\\ +\ccRefIdfierPage{CGAL::div_mod}\\ +\ccRefIdfierPage{CGAL::div}\\ +\ccRefIdfierPage{CGAL::mod}\\ +\ccRefIdfierPage{CGAL::sqrt}\\ +\ccRefIdfierPage{CGAL::kth_root}\\ +\ccRefIdfierPage{CGAL::root_of}\\ \subsection*{Real Embeddable Concept} @@ -114,19 +114,19 @@ \end{ccAdvanced} \subsubsection{Related Classes} -\ccRefIdfierPage{CGAL::Real_embeddable_traits} +\ccRefIdfierPage{CGAL::Real_embeddable_traits} \subsection*{Related Global functions} -\ccRefIdfierPage{is_finite}\\ -\ccRefIdfierPage{abs}\\ -\ccRefIdfierPage{compare}\\ -\ccRefIdfierPage{sign}\\ -\ccRefIdfierPage{is_zero}\\ -\ccRefIdfierPage{is_positive}\\ -\ccRefIdfierPage{is_negative}\\ -\ccRefIdfierPage{to_double}\\ -\ccRefIdfierPage{to_interval}\\ +\ccRefIdfierPage{CGAL::is_finite}\\ +\ccRefIdfierPage{CGAL::abs}\\ +\ccRefIdfierPage{CGAL::compare}\\ +\ccRefIdfierPage{CGAL::sign}\\ +\ccRefIdfierPage{CGAL::is_zero}\\ +\ccRefIdfierPage{CGAL::is_positive}\\ +\ccRefIdfierPage{CGAL::is_negative}\\ +\ccRefIdfierPage{CGAL::to_double}\\ +\ccRefIdfierPage{CGAL::to_interval}\\ \subsection{Number type classes} @@ -147,9 +147,9 @@ \ccRefConceptPage{mpq_class}\\ \ccRefConceptPage{mpf_class} \dots \ not support yet \\ -\ccRefConceptPage{Gmpz}\\ -\ccRefConceptPage{Gmpq}\\ -\ccRefConceptPage{Gmpzf}\\ +\ccRefConceptPage{CGAL::Gmpz}\\ +\ccRefConceptPage{CGAL::Gmpq}\\ +\ccRefConceptPage{CGAL::Gmpzf}\\ \subsubsection{CGAL} \ccRefConceptPage{CGAL::MP_Float}\\ @@ -158,7 +158,7 @@ \ccRefConceptPage{CGAL::Quotient}\\ \ccRefConceptPage{CGAL::Counted_number}\\ -\ccRefConceptPage{CGAL::Sqrt_extension< NT, Root >}\\ +\ccRefIdfierPage{CGAL::Sqrt_extension}\\ \subsection{Fraction Traits} @@ -168,4 +168,4 @@ \ccRefConceptPage{FractionTraits::CommonFactor}\\ \subsubsection{Related Classes} -\ccRefIdfierPage{Fraction_traits}\\ \ No newline at end of file +\ccRefConceptPage{CGAL::Fraction_traits}\\ \ No newline at end of file diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/mod.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/mod.tex index 2998c90d7b5..7896ecdd825 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/mod.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/mod.tex @@ -23,7 +23,7 @@ is a model of the \ccc{EuclideanRing} concept. \ccRefConceptPage{EuclideanRing}\\ \ccRefConceptPage{AlgebraicStructureTraits::DivMod}\\ -\ccRefIdfierPage{div_mod}\\ -\ccRefIdfierPage{div}\\ +\ccRefIdfierPage{CGAL::div_mod}\\ +\ccRefIdfierPage{CGAL::div}\\ \end{ccRefFunction} \ No newline at end of file diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex index 85da71dc573..6e7471a57e2 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex @@ -22,19 +22,19 @@ Note that Polynomials are not part of this package. TODO: (after merge) \begin{itemize} +\item rm \ccc{Number_type_traits} +\item rm \ccc{Rational_traits} +\item rm \ccc{Binary_operator_result} \item document function \ccc{is_exact}? is it needed? \item add static const bool to \ccc{Tag_true} \ccc{Tag_false}. -\item remove broken links within pdf \item add concept \ccc{FromDoubleConstructible} \item find a place for basic stuff. see section remarks \item revise include strategy -\item rm \ccc{Number_type_traits} -\item rm \ccc{Rational_traits} will be replaced by \ccc{Fraction_traits} - find name for concept. \item add links in \ccc{IsZero}s \item revise doc of NTs \item 'built-in' types -> 'fundamental' types \item add a new entry in the globally maintained Bib file. +\item check footnotes in pdf/ps (bug in manual tools? -> Andreas Meyer) \end{itemize} CONJECTURE: