<a title="various hashvector-related speedups" href="https://github.com/convexengineering/gpkit/pull/1477">PR #1477</a>: various hashvector-related ...