From d9cdfe04b9c4382dfaa7369a39f0df263bc35295 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luis=20Pe=C3=B1aranda?= Date: Tue, 8 Dec 2009 12:53:18 +0000 Subject: [PATCH] added \label{sec:RealEmbeddable} --- .../doc_tex/Algebraic_foundations/real_embeddable.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex index 6d5e32d3891..eca0d6ea0bd 100644 --- a/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex +++ b/Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex @@ -1,4 +1,5 @@ \section{Real Embeddable} +\label{sec:RealEmbeddable} Most number types represent some subset of the real numbers. From those types we expect functionality to compute the sign, absolute value or double @@ -43,4 +44,4 @@ that correlates to the one of the real numbers, a sign, an absolute value and However, most number types are representing some subset of the real numbers and from that we can expect an order on these types that correlates to the one of the real numbers. -} \ No newline at end of file +}