You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What: _entry_filter in src/symbolic/pattern.jl (T05) raises InvalidValueError for structure "G" with a view other than 'F'. CUDSS.jl's cudss_solver() test creates CudssSolver(A, "G", 'L') / 'U' and runs analysis and factorization, so cuDSS accepts (presumably ignores) the view of a general matrix. The T19 port of that test (test/ported/cudss_solver.jl) asserts the InvalidValueError instead. A caller migrating from CUDSS.jl that passes 'L'/'U' with "G" gets an error rather than a factorization.
Why it is out of scope: T19 implements the LU numeric phase; the view rules of the analysis are T05's and a PLAN §1.1 decision ("view 'F' for G" is not stated there). No later task owns it; it does not block anything.
Suggested fix or plan change: decide whether "G" ignores the view (read the full matrix, as cuDSS apparently does) or keeps the error; document it in PLAN §1.1.
Triage (owner): fix it. The cuDSS documentation of cudssMatrixViewType_t says "If the accompanying matrix type is CUDSS_MTYPE_GENERAL, the matrix view is ignored." Since the API contract is cuDSS's, "G" accepts 'L'/'U'/'F' and always reads the full matrix.
Plan, after #85 (T19) merges, as one out-of-chain PR (host only):
_entry_filter (src/symbolic/pattern.jl) returns the all-entries filter for "G" whatever the view;
the "G" cases of test/ported/cudss_solver.jl run analysis, factorization and solve for the three views and assert equal results instead of the error; a pattern/matrix test covers the three views for "G";
PLAN §1.1, views row: "for G the view is ignored, as in cuDSS" (owner edit).
Not fixed inside T19 (out of its scope). Closes with that PR.
Activity
michel2323 commentedon Oct 5, 2026
Triage (owner): fix it. The cuDSS documentation of
cudssMatrixViewType_tsays "If the accompanying matrix type isCUDSS_MTYPE_GENERAL, the matrix view is ignored." Since the API contract is cuDSS's,"G"accepts'L'/'U'/'F'and always reads the full matrix.Plan, after #85 (T19) merges, as one out-of-chain PR (host only):
_entry_filter(src/symbolic/pattern.jl) returns the all-entries filter for"G"whatever the view;"G"cases oftest/ported/cudss_solver.jlrun analysis, factorization and solve for the three views and assert equal results instead of the error; a pattern/matrix test covers the three views for"G";Gthe view is ignored, as in cuDSS" (owner edit).Not fixed inside T19 (out of its scope). Closes with that PR.
Generated by Claude Code
PLAN.md: refresh to the implemented design after T21 [skip ci]
PLAN.md: refresh to the implemented design after T21 [skip ci] (#99)
Fix: view-free G, zero-pivot info, analysis-time pair semantics, over…
github-actions commentedon Oct 7, 2026
Merged in #101.