Generator
apportion
A generator in the applied library, called 9 times across 1 essays. Below: what it draws at its defaults and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.
apportion is one function. Everything below came out of it during this
build, at parameters taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and if the generator changes, this page
changes with it.
At its defaults
show: "quota"
show: "alabama"
show: "divisor"
show: "population"
What it checks while it draws
Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.
- a divisor above the interval awards fewer than the house size ×1
- a divisor strictly inside the interval awards exactly the house size ×1
- a quota violation is a whole number of seats away from the band ×1
- a rational is a whole numerator over a non-zero whole denominator ×1
- a rational is never divided by zero ×1
- a region outside quota does not sit exactly on its quota ×1
- a trial divisor awards no more seats than the search allows for ×1
- Adams's awarded seats sum to the house size ×1
- both ends of the interval land inside the drawn divisor axis ×1
- each entry of the populations is a whole number between 1 and 10000000 ×1
- every house size swept has a seat for every region ×1
- floor division is taken of a whole number by a positive whole number ×1
- Hamilton gives every region the floor or the ceiling of its own quota ×1
- Hamilton's awarded seats sum to the house size ×1
- Hamilton's seats sum to the house at every size swept ×1
- Jefferson's awarded seats sum to the house size ×1
- no region's seat count falls anywhere in the swept range ×1
- the awarded seats sum to exactly the house size ×1
- the closed end of the interval awards exactly the house size ×1
- the divisor and the priority ranking award the same seats ×1
- the divisor method is one of jefferson, webster, adams ×1
- the exact arithmetic stays inside the safe integer range ×1
- the exact floor of a quota and its decimal floor agree ×1
- the exact quotas sum to exactly the house size ×1
- the exact quotas sum to the house size in both censuses ×1
- the fall the sweep found is by a single seat ×1
- the family of second censuses is small enough to walk in full ×1
- the faster-growing region holds exactly one seat fewer after the census ×1
- the floors leave between none and one seat per region over ×1
- the growth step is a whole number between 1 and 100000 ×1
- the house has at least one seat for every region ×1
- the house is large enough for every seat the method gives away for free ×1
- the house size is a whole number between 2 and 200 ×1
- the interval of divisors is not empty ×1
- the largest house swept is a whole number between 2 and 200 ×1
- the marked region really holds fewer seats in the larger house ×1
- the method is one of hamilton ×1
- the method is one of hamilton, jefferson, webster, hill, adams ×1
- the method is one of jefferson, webster, adams ×1
- the mode is one of quota, alabama, divisor, population ×1
- the named quota violation is a real comparison of the seats against the exact quota ×1
- the number of growth steps is a whole number between 1 and 12 ×1
- the open end of the interval awards more than the house size ×1
- the populations is a list of 2 to 8 numbers ×1
- the populations together stay inside the exact range ×1
- the priority list reaches past the house size, so the interval has both ends ×1
- the region that lost a seat grew by the larger exact ratio ×1
- the second census fills exactly the same house ×1
- the second census is larger than the first ×1
- the second census totals what it says it does ×1
- the slower-growing region holds exactly one seat more after the census ×1
- the smallest house swept is a whole number between 2 and 200 ×1
- the sweep is short enough to draw one house size at a time ×1
- the sweep runs over at least two house sizes ×1
- Webster's awarded seats sum to the house size ×1
Where it is called
Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.