-
Notifications
You must be signed in to change notification settings - Fork 16
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Weighted rules & weighted properties #68
Weighted rules & weighted properties #68
Conversation
to be consistent with other methods of this class
Codecov Report
📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more @@ Coverage Diff @@
## master #68 +/- ##
==========================================
+ Coverage 91.13% 91.20% +0.07%
==========================================
Files 11 11
Lines 3418 3389 -29
Branches 1071 1067 -4
==========================================
- Hits 3115 3091 -24
+ Misses 176 173 -3
+ Partials 127 125 -2
... and 4 files with indirect coverage changes Continue to review full report in Codecov by Sentry.
|
brute-force
checks for PJR and EJR, since those require design decisions (currently, these iterate over voter groups of specific size; with weights we would probably need to iterate over all subsets of voters or switch to iterating over subsets of candidates)NotImplementedError
forphragmen-enestrom
for weighted profile (was actually already implemented)consensus-rule
equal-shares
(and its variants) to work for weighted profilesconvert_to_weighted
(property truth values and rule outputs should be invariant under this operation)It's probably best to wait a few days before merging this PR to see whether anything comes up.