wegamekinglc / Derivatives-Algorithms-Lib / 28290365716

81%

master: 81%

push

github

Avoid CG shadow-vector allocation and fix REQUIRE message grammar

Two post-merge Copilot nits on the unified CG/BCG Krylov helper:

- KrylovState_ now sizes the shadow vectors rr/zz/pp to n only for BCG
  (biConjugate = true); for CG they stay empty since CG never reads
  them (zzRef/ppRef alias z/p). This restores the standalone-CGSolve
  memory and cache footprint that the dedup regressed.
- Correct the user-facing REQUIRE messages: "matrix size is not
  compatible" -> "matrix dimensions are incompatible" and "parameters
  is not valid" -> "parameters are invalid".

CG and BCG outputs are byte-identical to master (17-significant-figure
probe diff is empty on both the aadet and xad backends); the CG path
never touches rr/zz/pp, so not allocating them changes no arithmetic.

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

6294 of 7742 relevant lines covered (81.3%)

3243935.25 hits per line