malachite_float/float/conversion/is_real.rs
1// Copyright © 2026 Mikhail Hogrefe
2//
3// This file is part of Malachite.
4//
5// Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU
6// Lesser General Public License (LGPL) as published by the Free Software Foundation; either version
7// 3 of the License, or (at your option) any later version. See <https://www.gnu.org/licenses/>.
8
9use crate::Float;
10use malachite_base::num::conversion::traits::IsReal;
11
12impl IsReal for &Float {
13 /// Determines whether a [`Float`] is a real number. `NaN` and the infinities are not real
14 /// numbers.
15 ///
16 /// $f(x) = x \in \R$.
17 ///
18 /// # Worst-case complexity
19 /// Constant time and additional memory.
20 ///
21 /// # Examples
22 /// ```
23 /// use malachite_base::num::basic::traits::{Infinity, NaN, One, OneHalf, Zero};
24 /// use malachite_base::num::conversion::traits::IsReal;
25 /// use malachite_float::Float;
26 ///
27 /// assert_eq!(Float::ZERO.is_real(), true);
28 /// assert_eq!(Float::ONE.is_real(), true);
29 /// assert_eq!(Float::ONE_HALF.is_real(), true);
30 /// assert_eq!(Float::NAN.is_real(), false);
31 /// assert_eq!(Float::INFINITY.is_real(), false);
32 /// ```
33 #[inline]
34 fn is_real(self) -> bool {
35 self.is_finite()
36 }
37}