To make discussion on this point easier, I have made a GitHub
issue: https://github.com/sagemath/sage/issues/37626
For progress on this code, we have all doctests passing from the old
implementation except:
- we cannot define toric varieties over rings, so we can't have
hyperelliptic curves
It's very important to note that with multiwinner approval voting, merely
counting the votes per candidate and picking the top ones can lead to
rather unfair results
(unlike in the single winner case).
For instance, if we elect k=3 candidates out of 6, say, $a,b,c,d,e,f$, and
out of N=19
