2020-10-18 18:58:24 +11:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8">
|
|
|
|
|
<title>pyRCV2</title>
|
|
|
|
|
<style type="text/css">
|
|
|
|
|
html, body {
|
|
|
|
|
font-family: 'Liberation Sans', FreeSans, Helvetica, Arial, sans-serif;
|
|
|
|
|
}
|
|
|
|
|
table {
|
|
|
|
|
border-collapse: collapse;
|
|
|
|
|
}
|
|
|
|
|
td {
|
|
|
|
|
padding: 0px 8px;
|
2020-12-23 19:19:11 +11:00
|
|
|
min-height: 1em;
|
2020-10-18 18:58:24 +11:00
|
|
|
}
|
|
|
|
|
td.count {
|
|
|
|
|
text-align: right;
|
|
|
|
|
}
|
|
|
|
|
tr:first-child td {
|
|
|
|
|
vertical-align: bottom;
|
|
|
|
|
}
|
|
|
|
|
td.excluded {
|
|
|
|
|
background-color: #fecfcfff;
|
|
|
|
|
}
|
|
|
|
|
td.elected {
|
|
|
|
|
background-color: #d1fca7ff;
|
|
|
|
|
}
|
|
|
|
|
tr.info td {
|
|
|
|
|
background-color: #edededff;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div>
|
|
|
|
|
<input type="file" id="bltFile">
|
|
|
|
|
<button onclick="clickCount()">Count</button>
|
|
|
|
|
<label>
|
|
|
|
|
Preset:
|
|
|
|
|
<select id="selPreset" onchange="changePreset()">
|
|
|
|
|
<option value="scottish" selected>Scottish STV</option>
|
|
|
|
|
<option value="stvc">pyRCV STV-C</option>
|
2020-10-19 00:58:06 +11:00
|
|
|
<!--<option value="senate">Australian Senate STV</option>-->
|
2020-10-18 21:47:59 +11:00
|
|
|
<option value="wright">Wright STV</option>
|
2020-10-18 18:58:24 +11:00
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<button id="btnAdvancedOptions" onclick="clickAdvancedOptions()">Show advanced options</button>
|
2020-12-24 21:33:09 +11:00
|
|
|
<a href="https://yingtongli.me/blog/2020/12/24/pyrcv2.html">Information and instructions</a>
|
2020-10-18 18:58:24 +11:00
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div id="divAdvancedOptions" style="display: none;">
|
|
|
|
|
<label>
|
|
|
|
|
Quota:
|
|
|
|
|
<select id="selQuotaCriterion">
|
|
|
|
|
<option value="geq" selected>>=</option>
|
|
|
|
|
<option value="gt">></option>
|
|
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<label>
|
|
|
|
|
<select id="selQuota">
|
|
|
|
|
<option value="droop" selected>Droop</option>
|
|
|
|
|
<option value="droop_exact">Droop (exact)</option>
|
|
|
|
|
<option value="hare">Hare</option>
|
|
|
|
|
<option value="hare_exact">Hare (exact)</option>
|
|
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<label>
|
|
|
|
|
<input type="checkbox" id="chkProgQuota">
|
|
|
|
|
Progressive quota
|
|
|
|
|
</label>
|
2020-12-27 18:27:41 +11:00
|
|
|
<label>
|
|
|
|
|
<input type="checkbox" id="chkBulkElection" checked>
|
|
|
|
|
Bulk election
|
|
|
|
|
</label>
|
2020-12-24 18:52:29 +11:00
|
|
|
<label style="display: none;">
|
2020-10-18 18:58:24 +11:00
|
|
|
<input type="checkbox" id="chkBulkExclusion">
|
|
|
|
|
Bulk exclusion (NYI)
|
|
|
|
|
</label>
|
|
|
|
|
<br>
|
|
|
|
|
<label>
|
|
|
|
|
Numbers:
|
|
|
|
|
<select id="selNumbers">
|
|
|
|
|
<option value="native">Native float</option>
|
|
|
|
|
<option value="int">Native integer</option>
|
|
|
|
|
<option value="rational">Rational</option>
|
|
|
|
|
<option value="fixed" selected>Fixed</option>
|
|
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<label>
|
|
|
|
|
Decimal places (if Numbers = Fixed):
|
|
|
|
|
<input type="number" id="txtDP" value="5" style="width: 3em;">
|
|
|
|
|
</label>
|
|
|
|
|
<br>
|
|
|
|
|
<label>
|
|
|
|
|
Surplus order:
|
|
|
|
|
<select id="selSurplus">
|
|
|
|
|
<option value="size" selected>By size</option>
|
|
|
|
|
<option value="order">By order</option>
|
|
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<label>
|
2020-10-18 21:47:59 +11:00
|
|
|
Method:
|
2020-10-18 18:58:24 +11:00
|
|
|
<select id="selTransfers">
|
|
|
|
|
<option value="wig" selected>Weighted inclusive Gregory</option>
|
|
|
|
|
<option value="uig">Unweighted inclusive Gregory</option>
|
2020-10-18 21:47:59 +11:00
|
|
|
<option value="wright">Wright STV</option>
|
2020-10-18 18:58:24 +11:00
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<br>
|
|
|
|
|
<label>
|
2020-12-24 00:04:30 +11:00
|
|
|
Ties:
|
2020-10-18 18:58:24 +11:00
|
|
|
<select id="selTies">
|
2020-12-24 01:36:39 +11:00
|
|
|
<option value="backwards_random" selected>Backwards then random</option>
|
2020-10-18 18:58:24 +11:00
|
|
|
<option value="random">Random</option>
|
|
|
|
|
</select>
|
|
|
|
|
</label>
|
|
|
|
|
<label>
|
|
|
|
|
Random seed:
|
2020-12-24 00:04:30 +11:00
|
|
|
<input type="text" id="txtSeed" value="">
|
2020-10-18 18:58:24 +11:00
|
|
|
</label>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<table id="result"></table>
|
|
|
|
|
|
2020-12-24 20:23:55 +11:00
|
|
|
<script src="vendor/BigInt_BigRat-a5f89e2.min.js"></script>
|
2020-10-18 18:58:24 +11:00
|
|
|
<script src="https://cdn.jsdelivr.net/npm/big.js@6.0.0/big.min.js"></script>
|
2020-12-24 00:04:30 +11:00
|
|
|
<script src="https://cdn.jsdelivr.net/npm/sjcl@1.0.8/sjcl.min.js"></script>
|
2020-10-18 18:58:24 +11:00
|
|
|
<script src="bundle.js"></script>
|
|
|
|
|
<script src="index.js"></script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
