From e3f5c6ee649a8bd90efc5738b34ea5d32b80f83e Mon Sep 17 00:00:00 2001 From: Michael Hemmer Date: Mon, 30 Mar 2009 07:54:18 +0000 Subject: [PATCH] missing link --- .../doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex index d0d748118dc..981bcaa5d98 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/RealEmbeddable.tex @@ -21,8 +21,8 @@ and functors :\\ - \ccc{CGAL::Real_embeddable_traits< RealEmbeddable >::To_interval} \\ Remark:\\ -If a number type is a model of both IntegralDomainWithoutDivision and -RealComparable, it follows that the ring represented by such a number type +If a number type is a model of both \ccc{IntegralDomainWithoutDivision} and +\ccc{RealComparable}, it follows that the ring represented by such a number type is a sub-ring of the real numbers and hence has characteristic zero. %( see http://mathworld.wolfram.com/CharacteristicField.html ).