Lines Matching defs:reals
59 \index{bounded reals|(}
63 \quickref{Bounded reals}{
65 \item Bounded reals are written as two floating point bounds separated
68 \item Other numeric types can be converted to bounded reals by giving them
71 \item Bounded reals are not usually entered directly by the user; normally
76 \item An arithmetic operation is only performed using bounded reals if at
81 An example of using bounded reals to safely compute the square root of 2:
91 result is not 1.0; using bounded reals the computed interval contains 1.0
106 \section{Issues to be aware of when using bounded reals}
108 When working with bounded reals, some of the usual rules of arithmetic no
127 \caption{Comparing two bounded reals}
134 \index{bounded reals!comparison}
166 These predicates consider bounded reals from a purely syntactic point of
167 view: they determine how the bounded reals compare syntactically, without
168 taking into account their meaning. Two bounded reals are considered equal
171 different). A unique ordering is also defined between bounded reals which
174 a sensible fashion when they encounter bounded reals (in particular, they do
256 \index{bounded reals|)}
277 \biptxtrefni{reals/1}{reals/1!ic}{../bips/lib/ic/reals-1.html},
280 \index{reals/1@\texttt{reals/1}!ic}\index{::/2@\texttt{::/2}!ic}
318 same as that used for bounded reals; that is, the inferences made are safe,