Module malachite_base::num::arithmetic::shr_round

ShrRound and ShrRoundAssign, traits for dividing a number by a power of 2 and rounding according to a specified RoundingMode.

shr_round

use malachite_base::num::arithmetic::traits::ShrRound;
use malachite_base::rounding_modes::RoundingMode;
use std::cmp::Ordering;

assert_eq!(0x101u32.shr_round(8u8, RoundingMode::Down), (1, Ordering::Less));
assert_eq!(0x101u16.shr_round(8u16, RoundingMode::Up), (2, Ordering::Greater));

assert_eq!(0x101u64.shr_round(9u32, RoundingMode::Down), (0, Ordering::Less));
assert_eq!(0x101u32.shr_round(9u64, RoundingMode::Up), (1, Ordering::Greater));
assert_eq!(0x101u16.shr_round(9u8, RoundingMode::Nearest), (1, Ordering::Greater));
assert_eq!(0xffu8.shr_round(9u16, RoundingMode::Nearest), (0, Ordering::Less));
assert_eq!(0x100u32.shr_round(9u32, RoundingMode::Nearest), (0, Ordering::Less));

assert_eq!(0x100u32.shr_round(8u64, RoundingMode::Exact), (1, Ordering::Equal));

assert_eq!(0x101i32.shr_round(8u8, RoundingMode::Down), (1, Ordering::Less));
assert_eq!(0x101i16.shr_round(8u16, RoundingMode::Up), (2, Ordering::Greater));

assert_eq!((-0x101i32).shr_round(9u32, RoundingMode::Down), (0, Ordering::Greater));
assert_eq!((-0x101i64).shr_round(9u64, RoundingMode::Up), (-1, Ordering::Less));
assert_eq!((-0x101i16).shr_round(9u8, RoundingMode::Nearest), (-1, Ordering::Less));
assert_eq!((-0xffi32).shr_round(9u16, RoundingMode::Nearest), (0, Ordering::Greater));
assert_eq!((-0x100i64).shr_round(9u32, RoundingMode::Nearest), (0, Ordering::Greater));

assert_eq!(0x100i32.shr_round(8u64, RoundingMode::Exact), (1, Ordering::Equal));

assert_eq!(0x101u32.shr_round(8i8, RoundingMode::Down), (1, Ordering::Less));
assert_eq!(0x101u16.shr_round(8i16, RoundingMode::Up), (2, Ordering::Greater));

assert_eq!((-0x101i32).shr_round(9i32, RoundingMode::Down), (0, Ordering::Greater));
assert_eq!((-0x101i64).shr_round(9i64, RoundingMode::Up), (-1, Ordering::Less));
assert_eq!((-0x101i16).shr_round(9i8, RoundingMode::Nearest), (-1, Ordering::Less));
assert_eq!((-0xffi32).shr_round(9i16, RoundingMode::Nearest), (0, Ordering::Greater));
assert_eq!((-0x100i64).shr_round(9i32, RoundingMode::Nearest), (0, Ordering::Greater));

assert_eq!(0x100u32.shr_round(8i64, RoundingMode::Exact), (1, Ordering::Equal));

shr_round_assign

use malachite_base::num::arithmetic::traits::ShrRoundAssign;
use malachite_base::rounding_modes::RoundingMode;
use std::cmp::Ordering;

let mut x = 0x101u32;
assert_eq!(x.shr_round_assign(8u8, RoundingMode::Down), Ordering::Less);
assert_eq!(x, 1);

let mut x = 0x101u16;
assert_eq!(x.shr_round_assign(8u16, RoundingMode::Up), Ordering::Greater);
assert_eq!(x, 2);

let mut x = 0x101u64;
assert_eq!(x.shr_round_assign(9u32, RoundingMode::Down), Ordering::Less);
assert_eq!(x, 0);

let mut x = 0x101u32;
assert_eq!(x.shr_round_assign(9u64, RoundingMode::Up), Ordering::Greater);
assert_eq!(x, 1);

let mut x = 0x101u16;
assert_eq!(x.shr_round_assign(9u8, RoundingMode::Nearest), Ordering::Greater);
assert_eq!(x, 1);

let mut x = 0xffu8;
assert_eq!(x.shr_round_assign(9u16, RoundingMode::Nearest), Ordering::Less);
assert_eq!(x, 0);

let mut x = 0x100u32;
assert_eq!(x.shr_round_assign(9u32, RoundingMode::Nearest), Ordering::Less);
assert_eq!(x, 0);

let mut x = 0x100u32;
assert_eq!(x.shr_round_assign(8u64, RoundingMode::Exact), Ordering::Equal);
assert_eq!(x, 1);

let mut x = 0x101i32;
assert_eq!(x.shr_round_assign(8u8, RoundingMode::Down), Ordering::Less);
assert_eq!(x, 1);

let mut x = 0x101i16;
assert_eq!(x.shr_round_assign(8u16, RoundingMode::Up), Ordering::Greater);
assert_eq!(x, 2);

let mut x = -0x101i32;
assert_eq!(x.shr_round_assign(9u32, RoundingMode::Down), Ordering::Greater);
assert_eq!(x, 0);

let mut x = -0x101i64;
assert_eq!(x.shr_round_assign(9u64, RoundingMode::Up), Ordering::Less);
assert_eq!(x, -1);

let mut x = -0x101i16;
assert_eq!(x.shr_round_assign(9u8, RoundingMode::Nearest), Ordering::Less);
assert_eq!(x, -1);

let mut x = -0xffi32;
assert_eq!(x.shr_round_assign(9u16, RoundingMode::Nearest), Ordering::Greater);
assert_eq!(x, 0);

let mut x = -0x100i64;
assert_eq!(x.shr_round_assign(9u32, RoundingMode::Nearest), Ordering::Greater);
assert_eq!(x, 0);

let mut x = 0x100u32;
assert_eq!(x.shr_round_assign(8i64, RoundingMode::Exact), Ordering::Equal);
assert_eq!(x, 1);

let mut x = 0x101u32;
assert_eq!(x.shr_round_assign(8i8, RoundingMode::Down), Ordering::Less);
assert_eq!(x, 1);

let mut x = 0x101u16;
assert_eq!(x.shr_round_assign(8i16, RoundingMode::Up), Ordering::Greater);
assert_eq!(x, 2);

let mut x = -0x101i32;
assert_eq!(x.shr_round_assign(9i32, RoundingMode::Down), Ordering::Greater);
assert_eq!(x, 0);

let mut x = -0x101i64;
assert_eq!(x.shr_round_assign(9i64, RoundingMode::Up), Ordering::Less);
assert_eq!(x, -1);

let mut x = -0x101i16;
assert_eq!(x.shr_round_assign(9i8, RoundingMode::Nearest), Ordering::Less);
assert_eq!(x, -1);

let mut x = -0xffi32;
assert_eq!(x.shr_round_assign(9i16, RoundingMode::Nearest), Ordering::Greater);
assert_eq!(x, 0);

let mut x = -0x100i64;
assert_eq!(x.shr_round_assign(9i32, RoundingMode::Nearest), Ordering::Greater);
assert_eq!(x, 0);

let mut x = 0x100u32;
assert_eq!(x.shr_round_assign(8i64, RoundingMode::Exact), Ordering::Equal);
assert_eq!(x, 1);