Re: coherent, house monotonic, droop proportional
Ross Hyman via Election-Methods <[email protected]> Fri, 24 Apr 2026 16:18:35 -0500
| Newsgroups | gmane.politics.election-methods |
|---|---|
| Message-ID | <CAOqnLe6Zrg0RMBiFtkCo=VsqVNQ3y_Ghy=Jic-GJSDsQMfth8g@mail.gmail.com> |
VGhhbmtzIEd1c3RhdiwKCkluIHRoZSBwYXJhZ3JhcGggYmVmb3JlIENsYWltIDQgSSB3cm90ZToK CiJGb3IgdGhlIHByb29mcyBvZiBjbGFpbXMgNC05LCB3aGljaCBjb25zdGl0dXRlIGEgcHJvb2Yg b2YgRHJvb3AKcHJvcG9ydGlvbmFsaXR5LCBjb25zaWRlcmF0aW9uIGlzIHJlc3RyaWN0ZWQgdG8g ZnVsbHkgcmFua2VkIGJhbGxvdHMsCmFuZCBmb3Igc2ltcGxpY2l0eSwgdG8gYmFsbG90IHNldHMg Zm9yIHdoaWNoIHRoZXJlIGFyZSBubyB0aWVzIGZvcgplbGVjdGlvbnMgb3IgZXhjbHVzaW9ucy4i CgpJIHNob3VsZCBoYXZlIG1vdmVkIHRoZSBwYXJ0IGFib3V0ICJubyB0aWVzJyB0byBhcHBseSB0 byBhbGwgdGhlCmNsYWltcy5UaGFua3MgZm9yIHBvaW50aW5nIHRoYXQgb3V0LgoKSSBhbSBhc2tp bmcgaWYgbXkgcHJvb2Ygb2YgRHJvb3AgcHJvcG9ydGlvbmFsaXR5IGlzIGNvcnJlY3QgZm9yIGJh bGxvdApzZXRzIGZvciB3aGljaCB0aGVyZSBhcmUgbm8gdGllcy4KCkJlc3QsClJvc3MKCk9uIEZy aSwgQXByIDI0LCAyMDI2IGF0IDM6NDnigK9QTSBHdXN0YXYgVGhvcnplbiB2aWEgRWxlY3Rpb24t TWV0aG9kcwo8ZWxlY3Rpb24tbWV0aG9kc0BsaXN0cy5lbGVjdG9yYW1hLmNvbT4gd3JvdGU6Cj4K PiBPbiBUdWUsIDE0IEFwciAyMDI2IDA4OjE0OjQzIC0wNTAwCj4gUm9zcyBIeW1hbiB2aWEgRWxl Y3Rpb24tTWV0aG9kcyA8ZWxlY3Rpb24tbWV0aG9kc0BsaXN0cy5lbGVjdG9yYW1hLmNvbT4gd3Jv dGU6Cj4KPiA+IERlYXIgYWxsLAo+ID4gQmFjayBpbiBKdW5lIEkgcG9zdGVkIGEgcHJlcHJpbnQg b24gYXJ4aXYgZGVzY3JpYmluZyBhbiBTVFYtbGlrZQo+ID4gbWV0aG9kIHRoYXQgc2F0aXNmaWVk IERyb29wIHByb3BvcnRpb25hbGl0eSBsaWtlIGNvbnZlbnRpb25hbCBTVFYsCj4gPiBhbmQsIHVu bGlrZSBjb252ZW50aW9uYWwgU1RWLCB3YXMgYWxzbyBjb2hlcmVudCBhbmQgaG91c2UgbW9ub3Rv bmljLgo+ID4gSSBuZXZlciBzdWJtaXR0ZWQgaXQgdG8gcHVibGljYXRpb24gYmVjYXVzZSBteSBn dXQgd2FzIHRlbGxpbmcgbWUgdGhhdAo+ID4gdGhlcmUgd2FzIGFuIGVycm9yLiBXZWxsLCBpdCB0 b29rIGEgd2hpbGUsIGJ1dCBJIGZvdW5kIHRoZSBlcnJvciBhbmQgSQo+ID4gaGF2ZSBub3cgcmV2 aXNlZCB0aGUgcGFwZXI6IGh0dHBzOi8vYXJ4aXYub3JnL2Ficy8yNTA2LjEyMzE4Cj4gPiBVbmZv cnR1bmF0ZWx5LCB0aGUgbmV3IG1ldGhvZCBpcyBjdW1iZXJzb21lLCBidXQgSSBiZWxpZXZlIHRo ZSBuZXcKPiA+IHByb2NlZHVyZSBjb3JyZXNwb25kcyB0byB0aGUgcHJvb2YuIEkgd291bGQgZ3Jl YXRseSBhcHByZWNpYXRlIGl0IGlmCj4gPiBhbnlvbmUgY2FuIGxvb2sgaXQgb3ZlciB0byBzZWUg aWYgaXQgaXMgY29ycmVjdC4KPiA+IEJlc3QsCj4gPiBSb3NzCj4gPiAtLS0tCj4KPiBTbyBJIHRv b2sgYSBsb29rIGF0IHRoaXMgKGFyeGl2IHZlcnNpb24gMyB0byBiZSBleGFjdCkgYW5kIHRyaWVk IHRvCj4gd29yayBteSB3YXkgdGhyb3VnaCBpdC4KPiBJIHRoaW5rIEkgZmluYWxseSBoYXZlIGEg Z29vZCBlbm91Z2ggZ3Jhc3AgdG8gY2hlY2sgc29tZSBvZiB0aGUKPiBjbGFpbXMgYW5kIHByb29m cyBpbiBpdC4KPgo+IEJ1dCBmaXJzdCBzb21lIGRlZmluaXRpb25zIEkgd2FudCB0byBtYWtlIHN1 cmUgSSB1bmRlcnN0b29kIGNvcnJlY3RseToKPiBDb2hlcmVuY2UgLSBTYW1lIGFzIGh0dHBzOi8v ZW4ud2lraXBlZGlhLm9yZy93aWtpL0NvaGVyZW5jZV8oZmFpcm5lc3MpPwo+IChhbHNvIHVzaW5n IHRoZSBPa2xhaG9tYSBleGFtcGxlLikKPiBEcm9vcCBwcm9wb3J0aW9uYWxpdHkgLSBHZW5lcmFs aXphdGlvbiBvZiBNdXR1YWwgTWFqb3JpdHkgY3JpdGVyaW9uIGZvciBtb3JlCj4gdGhlbiAxIHdp bm5lciBzeXN0ZW1zPwo+IFF1b3RhLUJhc2VkIFBocmFnbWVuIC0gUmVmZXJlaW5nIHRvIHRoZSBz eXN0ZW1zIGluIHRoZQo+IChTYWxtaSwgT2xsaSAyMDAyKSBhbmQgKFdvb2RhbGwsIERvdWdsYXMg Ui4gMjAwMykgcmVmZXJlbmNlcz8KPgo+IGFuZCBzaW5jZSB5b3UgbmV2ZXIgcHJvdmlkZSBhbnkg c29ydCBvZiAoZXhwbGljaXQpIG5hbWUgdG8gYW55IG9mIHRoZSBtZXRob2RzLAo+IHRoZSBvbmUg eW91IHByb3Bvc2UgaXMgdGhlIG9uZSBkZXNjcmliZXMgaGFsZndheSB0aHJvdWdoIHNlY3Rpb24g NSBUb3AtZG93biBQaHJhZ21lbj8KPgo+IEFzc3VtaW5nIGFsbCB0aGUgYWJvdmUgYXJlIGFuc3dl cmVkIHllcywgbXkgcmVzdWx0cyBvZiBjaGVja2luZyB5b3VyIGNsYWltcyBhcmUgYXMgZm9sbG93 czoKPiAoMSkgVHJpdmlhbGx5IHRydWUgZnJvbSB5b3VyIGRlZmluaXRpb24sIHRob3VnaCBpdCBm ZWVscyBsaWtlIHRoZSBkZWZpbml0aW9uIGNvdWxkIGJlIHNpbXBsaWZpZWQuCj4gKDIpIEkgZm91 bmQgbm8gZXJyb3JzIGhlcmUsIGJ1dCBJIGFtIG5vdCBjb25maWRlbnQgSSBnb3QgYWxsIHBvc3Np YmxlIGVkZ2UgY2FzZXMgY292ZXJlZC4KPiBJIGxlYXZlIHRoaXMgdG8gc29tZW9uZSBlbHNlIHRv IGNoZWNrLgo+ICgzKSBObyBlcnJvcnMgaW4gdGhlIHByb29mLCBidXQgSSB3aWxsIGdvIGludG8g ZGV0YWlsIGFib3V0IHdoYXQgaXMgcHJvdmVuIGxhdGVyIG9uLgo+ICg0KSBUcml2aWFsbHkgZmFs c2UgdW5sZXNzIHlvdSB1c2UgImV4Y2VlZHMiIGFzIGEgc2hvcnRoYW5kIGZvcgo+ICJncmVhdGVy IHRoZW4gb3IgZXF1YWwgdG8iIHJhdGhlciB0aGVuICJzdHJpY3RseSBncmVhdGVyIHRoZW4iLAo+ IHdoaWNoIHdvdWxkIGJlIGEgZmlyc3QgZm9yIG1lLgo+IEFuIGV4YW1wbGUgd291bGQgYW4gZXhh Y3RseSBlcXVhbCBudW1iZXIgb2YgcmFua29yZGVycyByYW5raW5nIEFsaWNlID4gQm9iCj4gYXMg dGhvb3NlIHJhbmtpbmcgQm9iID4gQWxpY2UuCj4gV2UgZ2V0IGEgcGVyZmVjdCB0aWUgd2hlcmUg dGhlIHdpbm5lciBpcyBkZXRlcm1pbmVkIGJ5IHJhbmRvbSB0aWVicmVha2luZyBhbmQgd2hvZXZl cgo+IG9mIHRoZSB0d28gZ2V0cyBsdWNreSB3aWxsIGJlIGEgd2lubmVyIHdpdGggdm90ZXMgZXhh Y3RseSBlcXVhbCB0byBRXzEsIG5vdCBleGNlZWRpbmcgaXQuCj4gWW91IGhhdmUgbm90IHN0YXRl ZCB0aGlzIGlzIHN1cHBvc2VkIHRvIGJyZWFrIHRoZSBub3JtIGFuZCBiZSBhIGZ1bGx5IGRldGVy bWluaXN0aWMgc3lzdGVtCj4gd2l0aG91dCBhbnkgZm9ybSBvZiByYW5kb21uZXNzIG5vIG1hdHRl ciB3aGF0LCBzbyByYW5kb20gdGllYnJlYWtpbmcgaXMgaW1wbGljaXRseSBhc3N1bWVkLgo+ICg1 KSBGYWxzZSBmb3IgcHJldHR5IG11Y2ggdGhlIHNhbWUgcmVhc29uIGFzICg0KSBpcyBmYWxzZS4K PiAoNikgSSBmb3VuZCBubyBlcnJvcnMgaGVyZSwgYnV0IEkgYW0gbm90IGNvbmZpZGVudCBJIGdv dCBhbGwgcG9zc2libGUgZWRnZSBjYXNlcyBjb3ZlcmVkLgo+IEkgbGVhdmUgdGhpcyB0byBzb21l b25lIGVsc2UgdG8gY2hlY2suCj4gKDcpIEZhbHNlIGZvciBwcmV0dHkgbXVjaCB0aGUgc2FtZSBy ZWFzb24gYXMgKDQpIGlzIGZhbHNlLgo+ICg4KSBGYWxzZSBmb3IgcHJldHR5IG11Y2ggdGhlIHNh bWUgcmVhc29uIGFzICg0KSBpcyBmYWxzZS4KPiAoOSkgSSBmb3VuZCBubyBlcnJvcnMgaGVyZSwg YnV0IEkgYW0gbm90IGNvbmZpZGVudCBJIGdvdCBhbGwgcG9zc2libGUgZWRnZSBjYXNlcyBjb3Zl cmVkLgo+IEkgbGVhdmUgdGhpcyB0byBzb21lb25lIGVsc2UgdG8gY2hlY2suCj4KPiBXaGVuIGl0 IGNvbWVzIHRvIGNsYWltICgzKSBhYm91dCBMTi1IZWxwK0hhcm0sCj4gd2Ugc29ydCBvZiBydW4g aW50byBzb21lIHByb2JsZW1zIGFib3V0IGhhdmUgYmFsbG90cyBhcmUgY291bnRlZC4KPiBZb3Ug bWVudGlvbiBpbiBwYXNzaW5nIHRoZSBwcm9vZnMgZm9yIHRoZSBjbGFpbXMgYWxsIGFzc3VtZXMg Y29tcGxldGUgcmFua29yZGVyLAo+IGltcGxpY2l0bHkgYWxzbyB0aGF0IHRoZXkgYXJlIHRvIGJl IHN0cmljdCwKPiBhcyB3ZWxsIGFzIHJlZHVjaW5nIHRvIHJlZ3VsYXIgSVJWIGZvciB0aGUgc2lu Z2xlIHdpbm5lciBjYXNlLAo+IHdoaWNoIGFsc28gdHlwaWNhbGx5IGFzc3VtZXMgc3RyaWN0IHJh bmtvcmRlcnMuCj4gQnV0IHZvdGVyIHN5bW1ldHJ5ICsgY2FuZGlkYXRlIHN5bW1ldHJ5IGFuZCBj b21wbGV0ZSBzdHJpY3QgcmFua29yZGVycwo+IGZvcmNlcyB0aGUgaW5mZXJlbmNlIHJ1bGUgZm9y IGluY29tcGxldGUgYmFsbG90cyB0byBjYXVzZSBzcG9pbGFnZQo+IHdoZW5ldmVyIHR3byBvciBt b3JlIGNhbmRpZGF0ZXMgYXJlIGxlZnQgb3V0IG9uIHRoZSBwcm92aWRlZCBiYWxsb3QuCj4gVGhp cyBjYXVzZXMgTE4tSGVscCtIYXJtIGZhaWx1cmVzIGluIGVkZ2UgY2FzZXMgbm90IGNvdmVyZWQg aW4geW91ciBwcm9vZiwKPiBmb3IgZXhhbXBsZSAoc2lnbmxlIHdpbm5lciA0IGNhbmRpZGF0ZXMg aGVyZSBmb3Igc2ltcGxpY2l0eSk6Cj4gMTAgQT5CPkM+RAo+IDA5IEI+QT5DPkQKPiAwMSBCPkEg KHNwb2lsZWQgZm9yY2VmdWxseSBieSB2b3RlcitjYW5kaWRhdGUgc3ltbWV0cnkrY29tcGxldGUg cmFua29yZGVyLCBvciBvdGhlcndpc2UpCj4gcmVzdWx0cyBpbiBBIHdpbm5pbmcsIGJ1dCBpZiB0 aGUgaW5jb21wbGV0ZSBiYWxsb3QgaXMgZXh0ZW5kZWQgdG8gYWRkIGxhdGVyIHByZWZlcmVuY2Vz Cj4gb2YgQyBhbmQgRCAoQj5BPkM+RCBvciBCPkE+RD5DLCBkb2VzIG5vdCBtYXR0ZXIpLCB0aGUg YmFsbG90IGlzIG5vdCBzcG9pbGVkCj4gbGVhdmluZyBhIHRpZWJyZWFrZXIgYmV0d2VlbiBBIGFu ZCBCIGVhY2ggd2l0aCA1MCUgY2hhbmNlIGJ5IHZvdGVyK2NhbmRpZGF0ZSBzeW1tZXRyeS4KPiBU aGlzIGlzIGEgTE4tSGVscCBmYWlsdXJlIGZvciBCLCBhbmQgYSBMTi1IYXJtIGZhaWx1cmUgZm9y IEEsCj4gZXZlbiBpZiB3ZSB1c2UgaW5mZXJlbmNlIGZvciBvbmx5IDEgbWlzc2luZyBjYW5kaWRh dGUgY2FzZXMgKHdoaWNoIGlzIHN0aWxsIHBvc3NpYmxlKS4KPgo+IFdoYXQgSSBub3JtYWxseSBz ZWUgaXMgZm9yIElSViB0byBzaW1wbHkgYWxsb3cgaW5jb21wbGV0ZSBwcmVmZXJlbmNlIG9yZGVy cywKPiB3aGljaCBpdCBsb29rcyBsaWtlIHlvdSBjb3VsZCBkbyB0byBzb2x2ZSB0aGUgYWJvdmUg cHJvYmxlbSwKPiBidXQgdGhlbiB0aGluZ3MgZ2V0IGV4dHJlbWVseSBzZW5zaXRpdmUgdG8gd2hh dCBwYXJ0IG9mIHRoZSBiYWxsb3RzIGFyZSBrZWVwdC4KPiBGb3IgZXhhbXBsZSwgaG93IHdvdWxk IEE+e2V2ZXJ5b25lIGVsc2V9PkIgYmUgY291bnRlZD8KPiBEb2luZyBpdCBpbiBhbnkgd2F5IG90 aGVyIHRoZW4gc2ltcGx5IHR1cm5pbmcgaXQgaW50byBBIHRvcCBhbmQgbm90aGluZyBlbHNlCj4g bGVhZHMgdG8gTE4tSGVscC9IYXJtIGZhaWx1cmVzLCBidXQgaXQgaGFzIG90aGVyIHBvc3NpYmx5 IHVud2FudGVkCj4gc3RyYXRlZ2ljIHNpZGUgZWZmZWN0cy4KPgo+IFRoZXJlIGFyZSBiYXNpY2xs eSB0d28gdmVyc2lvbnMgb2YgTE4tSGVscC9IYXJtIGVhY2gsCj4gb25lIGFib3V0IHdoYXQgaGFw cGVucyB3aGVuIHdlIGFkZCBvdXIgcHJlZmVyZW5jZXMgdG8gaW5jb21wbGV0ZSBiYWxsb3RzLAo+ IGFuZCBvbmUgYWJvdXQgd2hlbiB3ZSByZW9yZGVyIHN0cmljdGx5IGxvd2VyIHByZWZlcmVuY2Vz Lgo+IFlvdXIgcHJvb2YgbG9va3MgbGlrZSBpdCBjb3ZlcnMgdGhlIGxhdGVyIHZlcnNpb24gZm9y IGVhY2gsCj4gYnV0IGRlcGVuZGluZyBvbiBob3cgYmFsbG90cyBhcmUgY291bnRlZCwKPiB0aGUg Zmlyc3QgdmVyc2lvbiBpcyBmYWlsZWQgZm9yIGNvbXBsZXRlIHByZWZlcmVuY2Ugb3JkZXJzCj4g KEkgd2lsbCBub3QgYXNzdW1lIHlvdSBhcmUgd2lsbGluZyBkaXRjaCB2b3RlciBvZiBjYW5kaWRh dGUgc3ltbWV0cnkKPiB3aXRob3V0IGV4cGxpY2l0bHkgc3RhdGluZyBzdWNoLikKPgo+IE5vcm1h bGx5IEkgZGVhbCB3aXRoIHRoaXMgYnkgcHJvdmluZyBib3RoIGNhc2VzLAo+IG9yIHJlZmVyZSB0 byB3aGF0ZXZlciB2ZXJzaW9uIG90aGVycyB1c2UsCj4gb3IgYXZvaWQgYW55IGNsYWltcyB0aGF0 IGRlcGVuZHMgb24gdGhlIGRpZmZlcmVuY2UuCj4KPgo+IEhvcGVmdWxseSB0aGlzIGlzIHN0aWxs IHdvcnRoIHNvbWV0aGluZywKPiBldmVuIGlmIGEgYml0IGxhdGUuCj4gR3VzdGF2Cj4KPiAtLS0t Cj4gRWxlY3Rpb24tTWV0aG9kcyBtYWlsaW5nIGxpc3QgLSBzZWUgaHR0cHM6Ly9lbGVjdG9yYW1h LmNvbS9lbSBmb3IgbGlzdCBpbmZvCi0tLS0KRWxlY3Rpb24tTWV0aG9kcyBtYWlsaW5nIGxpc3Qg LSBzZWUgaHR0cHM6Ly9lbGVjdG9yYW1hLmNvbS9lbSBmb3IgbGlzdCBpbmZvCg==