1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
/*
Copyright 2024 Owain Davies
SPDX-License-Identifier: Apache-2.0 OR MIT
*/
use crate::Arbi;
impl Arbi {
/// Returns `true` if `self` is positive and `false` if the number is zero
/// or negative.
///
/// # Examples
/// ```
/// use arbi::Arbi;
///
/// let neg = Arbi::from(-1234);
/// let pos = Arbi::from(1234);
/// let zer = Arbi::zero();
///
/// assert!(!neg.is_positive());
/// assert!(pos.is_positive());
/// assert!(!zer.is_positive());
/// ```
///
/// ## Complexity
/// \\( O(1) \\)
#[inline(always)]
pub fn is_positive(&self) -> bool {
!self.neg && !self.is_zero()
}
/// Returns `true` if `self` is negative and `false` if the number is zero
/// or positive.
///
/// # Examples
/// ```
/// use arbi::Arbi;
///
/// let neg = Arbi::from(-1234);
/// let pos = Arbi::from(1234);
/// let zer = Arbi::zero();
///
/// assert!(neg.is_negative());
/// assert!(!pos.is_negative());
/// assert!(!zer.is_negative());
/// ```
///
/// ## Complexity
/// \\( O(1) \\)
#[inline(always)]
pub fn is_negative(&self) -> bool {
self.neg
}
}
#[cfg(test)]
mod tests {
use crate::util::test::{get_seedable_rng, get_uniform_die, Distribution};
use crate::{Arbi, SDDigit, SDigit, SQDigit};
#[test]
fn smoke() {
let (mut rng, _) = get_seedable_rng();
let die_sdigit = get_uniform_die(SDigit::MIN, SDigit::MAX);
let die_sddigit = get_uniform_die(SDDigit::MIN, SDDigit::MAX);
let die_sqdigit = get_uniform_die(SQDigit::MIN, SQDigit::MAX);
for _ in 0..i16::MAX {
let r = die_sdigit.sample(&mut rng);
let a = Arbi::from(r);
assert_eq!(a.is_negative(), r.is_negative());
assert_eq!(a.is_positive(), r.is_positive());
let r = die_sddigit.sample(&mut rng);
let a = Arbi::from(r);
assert_eq!(a.is_negative(), r.is_negative());
assert_eq!(a.is_positive(), r.is_positive());
let r = die_sqdigit.sample(&mut rng);
let a = Arbi::from(r);
assert_eq!(a.is_negative(), r.is_negative());
assert_eq!(a.is_positive(), r.is_positive());
}
}
}