Skip to content

fix false positives for identity matrix #442#541

Merged
NSoiffer merged 1 commit intodaisy:mainfrom
moritz-gross:fix/false-positive-identity-matrix
Apr 2, 2026
Merged

fix false positives for identity matrix #442#541
NSoiffer merged 1 commit intodaisy:mainfrom
moritz-gross:fix/false-positive-identity-matrix

Conversation

@moritz-gross
Copy link
Copy Markdown
Collaborator

see #442.
The previous conditions specified in the match block where too loose.
Also added regression tests across the three affected languages.

This commit introduces new test cases for handling identity matrices across multiple languages (`en`, `de`, `nb`). It also updates the rules for correctly distinguishing identity matrices by ensuring stricter conditions on diagonal and off-diagonal elements.
@NSoiffer
Copy link
Copy Markdown
Collaborator

NSoiffer commented Apr 2, 2026

Thanks for the fix.

@NSoiffer NSoiffer merged commit 764a486 into daisy:main Apr 2, 2026
5 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