// Copyright © 2024 Mikhail Hogrefe
//
// This file is part of Malachite.
//
// Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU
// Lesser General Public License (LGPL) as published by the Free Software Foundation; either version
// 3 of the License, or (at your option) any later version. See .
use core::hash::Hash;
use malachite_base::chars::exhaustive::exhaustive_chars;
use malachite_base::chars::random::graphic_weighted_random_char_inclusive_range;
use malachite_base::num::random::geometric::geometric_random_unsigneds;
use malachite_base::num::random::random_primitive_ints;
use malachite_base::random::{Seed, EXAMPLE_SEED};
use malachite_base::test_util::vecs::random::random_vecs_helper_helper;
use malachite_base::vecs::random::random_unique_vecs_min_length;
use std::fmt::Debug;
fn random_unique_vecs_min_length_helper<
T: Clone + Debug + Eq + Hash + Ord,
I: Clone + Iterator- ,
>(
min_length: u64,
xs_gen: &dyn Fn(Seed) -> I,
mean_length_numerator: u64,
mean_length_denominator: u64,
expected_values: &[&[T]],
expected_common_values: &[(&[T], usize)],
expected_median: (&[T], Option<&[T]>),
) {
random_vecs_helper_helper(
random_unique_vecs_min_length(
EXAMPLE_SEED,
min_length,
xs_gen,
mean_length_numerator,
mean_length_denominator,
),
expected_values,
expected_common_values,
expected_median,
);
}
#[test]
fn test_random_unique_vecs_min_length() {
random_unique_vecs_min_length_helper(
0,
&random_primitive_ints::,
4,
1,
&[
&[],
&[85, 11, 136, 200, 235, 134, 203, 223, 38, 217, 177, 162, 32, 166],
&[234, 30, 218, 90],
&[106, 9, 216, 204],
&[151],
&[],
&[213, 97, 253, 78, 91],
&[39, 191],
&[175, 170, 232, 233],
&[],
&[2, 35, 22, 217, 198, 114],
&[],
&[],
&[17, 32, 173, 114, 65, 121, 222, 25, 144, 148, 79],
&[115, 52, 73, 69, 137, 91, 153, 178],
&[],
&[112, 34, 95],
&[],
&[106, 167, 197, 130, 168],
&[122, 207, 172, 177, 86, 150, 221, 218, 101],
],
&[
(&[], 199913),
(&[7], 705),
(&[25], 689),
(&[184], 681),
(&[213], 681),
(&[255], 676),
(&[215], 675),
(&[54], 673),
(&[122], 672),
(&[207], 672),
],
(&[96], None),
);
random_unique_vecs_min_length_helper(
3,
&random_primitive_ints::,
7,
1,
&[
&[85, 11, 136],
&[200, 235, 134, 203, 223, 38, 217, 177, 162, 32, 166, 234, 30, 218, 90, 106, 9],
&[216, 204, 151, 213, 97, 253, 78],
&[91, 39, 191, 175, 170, 232, 233],
&[2, 35, 22, 217],
&[198, 114, 17],
&[32, 173, 114, 65, 121, 222, 25, 144],
&[148, 79, 115, 52, 73],
&[69, 137, 91, 153, 178, 112, 34],
&[95, 106, 167],
&[197, 130, 168, 122, 207, 172, 177, 86, 150],
&[221, 218, 101],
&[115, 74, 9],
&[123, 109, 52, 201, 159, 247, 250, 48, 133, 235, 196, 40, 97, 104],
&[68, 190, 216, 7, 157, 43, 112, 217, 24, 11, 103],
&[211, 84, 135],
&[55, 29, 206, 89, 65, 191],
&[51, 9, 79],
&[148, 34, 22, 62, 3, 114, 118, 20],
&[47, 194, 50, 32, 120, 176, 166, 23, 204, 248, 177, 238],
],
&[
(&[8, 94, 244], 3),
(&[233, 14, 180], 3),
(&[46, 247, 166], 3),
(&[84, 118, 223], 3),
(&[4, 52, 2], 2),
(&[80, 2, 0], 2),
(&[1, 116, 5], 2),
(&[1, 5, 192], 2),
(&[1, 96, 39], 2),
(&[20, 10, 9], 2),
],
(
&[127, 218, 55, 167, 163, 19, 99, 71, 32, 117, 72, 38, 27, 29],
Some(&[127, 218, 69, 59, 30, 91]),
),
);
random_unique_vecs_min_length_helper(
0,
&|seed| geometric_random_unsigneds::(seed, 32, 1),
4,
1,
&[
&[],
&[1, 14, 42, 12, 141, 19, 9, 68, 16, 79, 21, 17, 41, 124],
&[10, 1, 99, 0],
&[77, 36, 2, 12],
&[1],
&[],
&[103, 9, 19, 1, 5],
&[7, 6],
&[51, 159, 15, 18],
&[],
&[52, 75, 40, 64, 2, 26],
&[],
&[],
&[67, 34, 51, 30, 31, 49, 43, 7, 5, 4, 3],
&[14, 47, 24, 16, 52, 29, 1, 41],
&[],
&[13, 11, 62],
&[],
&[47, 3, 109, 42, 14],
&[37, 86, 25, 96, 41, 13, 16, 42, 5],
],
&[
(&[], 199913),
(&[0], 4861),
(&[1], 4593),
(&[2], 4498),
(&[3], 4405),
(&[4], 4330),
(&[5], 4078),
(&[6], 4050),
(&[7], 3858),
(&[8], 3848),
],
(&[15, 3], None),
);
random_unique_vecs_min_length_helper(
3,
&|seed| geometric_random_unsigneds::(seed, 32, 1),
7,
1,
&[
&[1, 14, 42],
&[12, 141, 19, 9, 68, 16, 79, 21, 17, 41, 124, 10, 1, 99, 0, 77, 36],
&[2, 12, 1, 103, 9, 19, 5],
&[7, 6, 51, 159, 15, 18, 52],
&[75, 40, 64, 2],
&[26, 67, 34],
&[51, 30, 31, 49, 43, 7, 5, 4],
&[3, 14, 47, 24, 16],
&[52, 29, 1, 41, 13, 11, 62],
&[47, 3, 109],
&[42, 14, 37, 86, 25, 96, 41, 13, 16],
&[42, 5, 20],
&[2, 82, 74],
&[7, 76, 11, 17, 127, 36, 20, 56, 89, 45, 6, 80, 3, 66],
&[23, 43, 1, 25, 6, 41, 19, 97, 10, 13, 32],
&[41, 7, 134],
&[47, 105, 26, 10, 9, 25],
&[94, 68, 109],
&[1, 9, 84, 3, 43, 44, 28, 13],
&[13, 5, 0, 31, 50, 75, 32, 4, 7, 37, 42, 6],
],
&[
(&[0, 1, 7], 13),
(&[0, 2, 8], 12),
(&[6, 2, 8], 12),
(&[0, 2, 5], 11),
(&[2, 7, 3], 11),
(&[9, 3, 1], 11),
(&[0, 9, 2], 10),
(&[1, 8, 7], 10),
(&[3, 5, 1], 10),
(&[5, 0, 2], 10),
],
(&[22, 28, 18, 89, 4, 52, 51], Some(&[22, 28, 19])),
);
random_unique_vecs_min_length_helper(
0,
&random_primitive_ints::,
1,
4,
&[
&[],
&[],
&[85],
&[11],
&[136, 200],
&[],
&[],
&[],
&[],
&[],
&[],
&[],
&[235, 134],
&[203],
&[],
&[223, 38],
&[],
&[],
&[],
&[],
],
&[
(&[], 800023),
(&[162], 692),
(&[235], 690),
(&[90], 688),
(&[65], 687),
(&[249], 686),
(&[175], 684),
(&[108], 683),
(&[211], 682),
(&[237], 680),
],
(&[], None),
);
random_unique_vecs_min_length_helper(
3,
&random_primitive_ints::,
13,
4,
&[
&[85, 11, 136],
&[200, 235, 134],
&[203, 223, 38, 235],
&[217, 177, 162, 32],
&[166, 234, 30, 218, 90],
&[106, 9, 216],
&[204, 151, 213],
&[97, 253, 78],
&[91, 39, 191],
&[175, 170, 232],
&[233, 2, 35],
&[22, 217, 198],
&[114, 17, 32, 173, 65],
&[121, 222, 173, 25],
&[144, 148, 79],
&[115, 52, 73, 69, 137],
&[91, 153, 178],
&[112, 34, 95],
&[106, 167, 197],
&[130, 168, 122],
],
&[
(&[8, 57, 90], 4),
(&[185, 30, 26], 4),
(&[106, 20, 234], 4),
(&[152, 245, 81], 4),
(&[108, 192, 235], 4),
(&[75, 2, 5], 3),
(&[0, 106, 9], 3),
(&[2, 91, 90], 3),
(&[212, 1, 8], 3),
(&[49, 5, 75], 3),
],
(&[128, 38, 40], Some(&[128, 38, 42])),
);
random_unique_vecs_min_length_helper(
0,
&|seed| {
graphic_weighted_random_char_inclusive_range(
seed,
'a',
exhaustive_chars().nth(200).unwrap(),
1,
1,
)
},
4,
1,
&[
&[],
&['q', 'á', 'g', 'Á', 'À', 'È', '»', 'ì', '³', 'ą', 'â', 'Ã', 'ñ', 'Ā'],
&['Ã', 'ª', 'ä', '´'],
&['½', 'Á', 'Ï', 'ý'],
&['j'],
&[],
&['ï', 'Ñ', 'u', 'Â', '½'],
&['õ', 'x'],
&['Â', 'ù', '¡', 'Ċ'],
&[],
&['¬', 'b', 'Ñ', 's', 'Â', 'r'],
&[],
&[],
&['n', '¿', 'Þ', 'ô', 'Ø', 'º', 'ü', 't', '¬', 'j', 'Á'],
&['±', 'è', 'k', 'æ', 'b', 'Î', 'ā', 'Ü'],
&[],
&['¹', '«', 'Î'],
&[],
&['~', '´', 'Ý', 'â', '¯'],
&['é', 'æ', 'Þ', 'ö', 'g', 'Î', 'Ç', 'Ü', '¼'],
],
&[
(&[], 199913),
(&['Ó'], 1270),
(&['Â'], 1249),
(&['§'], 1244),
(&['¿'], 1243),
(&['õ'], 1241),
(&['ĉ'], 1234),
(&['¤'], 1232),
(&['¼'], 1232),
(&['Ì'], 1229),
],
(
&['¶', 'Ă', 'ą', '®', 'Á', 'í', '¬', '¾', '¸', 'Ã', '}', 'ù', 'ý', '½', 'a'],
Some(&['¶', 'Ă', 'ć']),
),
);
random_unique_vecs_min_length_helper(
3,
&|seed| {
graphic_weighted_random_char_inclusive_range(
seed,
'a',
exhaustive_chars().nth(200).unwrap(),
1,
1,
)
},
7,
1,
&[
&['q', 'á', 'g'],
&['Á', 'À', 'È', '»', 'ì', '³', 'ą', 'â', 'g', 'Ã', 'ñ', 'Ā', 'ª', 'ä', '´', '½', 'Ï'],
&['ý', 'j', 'ï', 'Ñ', 'u', 'Â', '½'],
&['õ', 'x', 'Â', 'ù', '¡', 'Ċ', '¬'],
&['b', 'Ñ', '¬', 's'],
&['Â', 'r', 'n'],
&['¿', 'Þ', 'ô', 'Ø', 'º', 'ü', 't', '¬'],
&['j', 'Á', '±', 'è', 'k'],
&['æ', 'b', 'Î', 'ā', 'Ü', '¹', '«'],
&['Î', '~', '´'],
&['Ý', 'â', '¯', 'é', 'æ', 'Þ', 'ö', 'g', 'Î'],
&['Ç', 'Ü', '¼'],
&['¡', '§', 'Ì'],
&['±', 'd', 'ê', 'm', '®', 'ì', '¨', 'ý', 'þ', 'Ë', '{', 'Ü', 'z', '¼'],
&['ï', 'ă', 'Ą', 'û', 'ª', 'ċ', 'x', 'À', 'ì', 'Õ', '½'],
&['¢', '«', 'Ć'],
&['{', 'È', 'ÿ', '½', '¢', 'ä'],
&['Ë', 'Õ', 'ê'],
&['º', 'ü', '×', '¨', 'Å', 'p', '°', 'Ó'],
&['d', 'Ê', 'æ', 'ß', 'v', 'Ć', 'k', 'Ä', '±', 'È', '¥', 'o'],
],
&[
(&['a', 'Ã', '¤'], 4),
(&['Ā', 'Ì', 'k'], 4),
(&['w', 'm', 'u'], 3),
(&['a', 'k', 'Ä'], 3),
(&['b', 'Ã', 'n'], 3),
(&['c', '|', 'Æ'], 3),
(&['d', 'm', 'ï'], 3),
(&['d', 'z', '¢'], 3),
(&['d', '¯', 't'], 3),
(&['f', 'g', '¹'], 3),
],
(
&['Ç', 'Ĉ', 's', 'ò', 'c', '¿', 'Å', 'Ô', 'Æ'],
Some(&['Ç', 'Ĉ', 'v', '³', 'ò']),
),
);
}
#[test]
#[should_panic]
fn random_unique_vecs_min_length_fail_1() {
random_unique_vecs_min_length(EXAMPLE_SEED, 3, &random_primitive_ints::, 3, 1);
}
#[test]
#[should_panic]
fn random_unique_vecs_min_length_fail_2() {
random_unique_vecs_min_length(EXAMPLE_SEED, 1, &random_primitive_ints::, 1, 0);
}
#[test]
#[should_panic]
fn random_unique_vecs_min_length_fail_3() {
random_unique_vecs_min_length(
EXAMPLE_SEED,
0,
&random_primitive_ints::,
u64::MAX,
u64::MAX - 1,
);
}