matrices vs. matrix objects: remove two implications - #6229

Closed

ThomasBreuer wants to merge 2 commits into

gap-system:masterfrom

ThomasBreuer:TB_not_IsRowListMatrix

Codecov / codecov/patch succeeded Feb 10, 2026 in 1s

100.00% of diff hit (target 78.52%)

View this Pull Request on Codecov

100.00% of diff hit (target 78.52%)

View more details on Codecov