DrudgeCAS / gristmill / 31896956605

91%

master: 92%

Pull #39

github

refactor: Take the dimensions of a factor without scanning them all

Addressing review feedback.

Determinism was reached by looping over every dimension of the product and
keeping the ones the factor involves.  That is O(all dimensions) per
factor, where the original was O(symbols in the factor).  Collect the
dimensions the factor does involve and sort those instead.

The order is the same either way.  `dumm2dim` is filled in category then
index order, so walking it yields exactly the ascending `(cat, index)`
order that sorting produces.  The evaluation sequences come out
byte-identical, and the result is still the same across eight hash seeds.

No measurable speed difference on a twelve-matrix chain, 0.194 against
0.195 seconds, since this loop is a small part of the work.  The change is
worth having for the complexity rather than for a number.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

3 of 3 new or added lines in 1 file covered. (100.0%)

1782 of 1953 relevant lines covered (91.24%)

0.91 hits per line