Skip to content

Document and test triangular matrix predicates through maximasrc - #1906

Merged
sangwinc merged 2 commits into
iss1880from
iss1905
Oct 14, 2026
Merged

sangwinc merged 2 commits into
iss1880from
iss1905

Conversation

@adamant-pwn

@adamant-pwn adamant-pwn commented Oct 14, 2026 •

Copy link
Copy Markdown
Collaborator

triup and trilp are missing from the generated CAS reference. Move them from contrib/matrix.mac into maximasrc/linearalgebra/predicates, preserving their implementations and attribution. They become available in core STACK; existing matrix-library documentation links to the generated reference.

Migrate all 18 existing cases and add 24 covering rectangular and empty matrices, symbolic entries, malformed input, and simplification. Regenerate code, tests, and documentation with the official compiler.

Stacked on #1881: this PR targets iss1880 so its diff contains only the triangular-predicate follow-up. Retarget to dev after #1881 merges. Follows Luke's suggestion.

Closes #1905.

@sangwinc
sangwinc merged commit bb2a399 into dev Oct 14, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants