It would be nice to be able to compute the proportionality degree of a committee (https://arxiv.org/abs/1810.08799), as well as the "+" variant introduced in the EJR+ paper (https://arxiv.org/pdf/2302.01989#page=23). Not sure what to name the latter. I'm not certain where these functions would go, either in scoring or in properties.
See also Issue #94 about computing quantitative variants of the JR-family.
It would be nice to be able to compute the proportionality degree of a committee (https://arxiv.org/abs/1810.08799), as well as the "+" variant introduced in the EJR+ paper (https://arxiv.org/pdf/2302.01989#page=23). Not sure what to name the latter. I'm not certain where these functions would go, either in scoring or in properties.
See also Issue #94 about computing quantitative variants of the JR-family.