2021-06-16 12:28:03 +02:00
|
|
|
|
/* OpenTally: Open-source election vote counting
|
|
|
|
|
* Copyright © 2021 Lee Yingtong Li (RunasSudo)
|
|
|
|
|
*
|
|
|
|
|
* This program is free software: you can redistribute it and/or modify
|
|
|
|
|
* it under the terms of the GNU Affero General Public License as published by
|
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
* (at your option) any later version.
|
|
|
|
|
*
|
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
* GNU Affero General Public License for more details.
|
|
|
|
|
*
|
|
|
|
|
* You should have received a copy of the GNU Affero General Public License
|
|
|
|
|
* along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
mod utils;
|
|
|
|
|
|
2021-06-18 17:57:04 +02:00
|
|
|
|
use opentally::election::{CandidateState, CountState, Election};
|
|
|
|
|
use opentally::numbers::{Fixed, NativeFloat64, Number};
|
2021-06-16 12:28:03 +02:00
|
|
|
|
use opentally::stv;
|
2021-06-18 17:57:04 +02:00
|
|
|
|
|
|
|
|
|
// Compare ers97.blt count with result produced by 1987 Hill–Wichmann–Woodall reference implementation
|
2021-06-16 12:28:03 +02:00
|
|
|
|
#[test]
|
2021-06-18 17:57:04 +02:00
|
|
|
|
fn meek87_ers97_float64() {
|
2021-08-04 17:12:53 +02:00
|
|
|
|
let stv_opts = stv::STVOptionsBuilder::default()
|
|
|
|
|
.meek_surplus_tolerance("0.001%".to_string())
|
|
|
|
|
.quota_criterion(stv::QuotaCriterion::GreaterOrEqual)
|
|
|
|
|
.surplus(stv::SurplusMethod::Meek)
|
|
|
|
|
.build().unwrap();
|
|
|
|
|
|
2021-06-16 12:28:03 +02:00
|
|
|
|
utils::read_validate_election::<NativeFloat64>("tests/data/ers97_meek.csv", "tests/data/ers97.blt", stv_opts, Some(2), &["exhausted", "quota"]);
|
|
|
|
|
}
|
2021-06-18 17:57:04 +02:00
|
|
|
|
|
2021-06-19 17:37:51 +02:00
|
|
|
|
// Compare ers97.blt count with result produced by OpenSTV 1.7 "Meek STV"
|
2021-06-18 17:57:04 +02:00
|
|
|
|
#[test]
|
|
|
|
|
fn meek06_ers97_fixed12() {
|
2021-08-04 17:12:53 +02:00
|
|
|
|
let stv_opts = stv::STVOptionsBuilder::default()
|
|
|
|
|
.round_surplus_fractions(Some(9))
|
|
|
|
|
.round_values(Some(9))
|
|
|
|
|
.round_votes(Some(9))
|
|
|
|
|
.round_quota(Some(9))
|
|
|
|
|
.meek_surplus_tolerance("0.0001".to_string())
|
|
|
|
|
.quota(stv::QuotaType::Droop)
|
|
|
|
|
.quota_criterion(stv::QuotaCriterion::GreaterOrEqual)
|
|
|
|
|
.surplus(stv::SurplusMethod::Meek)
|
|
|
|
|
.defer_surpluses(true)
|
|
|
|
|
.meek_immediate_elect(true)
|
|
|
|
|
.build().unwrap();
|
|
|
|
|
|
2021-06-18 17:57:04 +02:00
|
|
|
|
Fixed::set_dps(12);
|
|
|
|
|
|
|
|
|
|
// Read BLT
|
2021-07-31 07:24:23 +02:00
|
|
|
|
let election: Election<Fixed> = Election::from_file("tests/data/ers97.blt").expect("Syntax Error");
|
2021-06-18 17:57:04 +02:00
|
|
|
|
|
|
|
|
|
// Initialise count state
|
|
|
|
|
let mut state = CountState::new(&election);
|
|
|
|
|
|
|
|
|
|
// Count to completion
|
2021-06-27 16:56:28 +02:00
|
|
|
|
stv::count_init(&mut state, &stv_opts).unwrap();
|
2021-06-27 09:44:30 +02:00
|
|
|
|
while !stv::count_one_stage::<Fixed>(&mut state, &stv_opts).unwrap() {}
|
2021-06-18 17:57:04 +02:00
|
|
|
|
|
|
|
|
|
// Check states and keep values
|
|
|
|
|
for (candidate, count_card) in state.candidates.iter() {
|
|
|
|
|
match candidate.name.as_str() {
|
|
|
|
|
"Smith" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.452239778")));
|
|
|
|
|
}
|
|
|
|
|
"Carpenter" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.614726576")));
|
|
|
|
|
}
|
|
|
|
|
"Duke" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.610901635")));
|
|
|
|
|
}
|
|
|
|
|
"Prince" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.741971929")));
|
|
|
|
|
}
|
|
|
|
|
"Freeman" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.715546058")));
|
|
|
|
|
}
|
|
|
|
|
"Vicar" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("1.0")));
|
|
|
|
|
}
|
|
|
|
|
_ => {}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2021-06-19 17:37:51 +02:00
|
|
|
|
|
2021-07-13 12:44:09 +02:00
|
|
|
|
// Compare ers97.blt count with result produced by OpenSTV 1.7 "New Zealand Meek STV" (same result as Hill 2006 implementation)
|
2021-06-19 17:37:51 +02:00
|
|
|
|
#[test]
|
|
|
|
|
fn meeknz_ers97_fixed12() {
|
2021-08-04 17:12:53 +02:00
|
|
|
|
let stv_opts = stv::STVOptionsBuilder::default()
|
|
|
|
|
.round_surplus_fractions(Some(9))
|
|
|
|
|
.round_values(Some(9))
|
|
|
|
|
.round_votes(Some(9))
|
|
|
|
|
.round_quota(Some(9))
|
|
|
|
|
.meek_surplus_tolerance("0.0001".to_string())
|
|
|
|
|
.quota(stv::QuotaType::Droop)
|
|
|
|
|
.quota_criterion(stv::QuotaCriterion::GreaterOrEqual)
|
|
|
|
|
.surplus(stv::SurplusMethod::Meek)
|
|
|
|
|
.meek_nz_exclusion(true)
|
|
|
|
|
.defer_surpluses(true)
|
|
|
|
|
.meek_immediate_elect(true)
|
|
|
|
|
.build().unwrap();
|
|
|
|
|
|
2021-06-19 17:37:51 +02:00
|
|
|
|
Fixed::set_dps(12);
|
|
|
|
|
|
|
|
|
|
// Read BLT
|
2021-07-31 07:24:23 +02:00
|
|
|
|
let election: Election<Fixed> = Election::from_file("tests/data/ers97.blt").expect("Syntax Error");
|
2021-06-19 17:37:51 +02:00
|
|
|
|
|
|
|
|
|
// Initialise count state
|
|
|
|
|
let mut state = CountState::new(&election);
|
|
|
|
|
|
|
|
|
|
// Count to completion
|
2021-06-27 16:56:28 +02:00
|
|
|
|
stv::count_init(&mut state, &stv_opts).unwrap();
|
2021-06-27 09:44:30 +02:00
|
|
|
|
while !stv::count_one_stage::<Fixed>(&mut state, &stv_opts).unwrap() {}
|
2021-06-19 17:37:51 +02:00
|
|
|
|
|
|
|
|
|
// Check states and keep values
|
|
|
|
|
for (candidate, count_card) in state.candidates.iter() {
|
|
|
|
|
match candidate.name.as_str() {
|
|
|
|
|
"Smith" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.452154292")));
|
|
|
|
|
}
|
|
|
|
|
"Carpenter" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.614574172")));
|
|
|
|
|
}
|
|
|
|
|
"Duke" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.610780881")));
|
|
|
|
|
}
|
|
|
|
|
"Prince" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.741808717")));
|
|
|
|
|
}
|
|
|
|
|
"Freeman" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("0.715384286")));
|
|
|
|
|
}
|
|
|
|
|
"Vicar" => {
|
|
|
|
|
assert!(count_card.state == CandidateState::Elected);
|
|
|
|
|
assert_eq!(count_card.keep_value, Some(Fixed::parse("1.0")));
|
|
|
|
|
}
|
|
|
|
|
_ => {}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|