Add RandomMatrix, RandomInvertibleMatrix; and fix a problem with a new feature for matrix groups#6232
Open
ThomasBreuer wants to merge 15 commits intogap-system:masterfrom
Open
Add RandomMatrix, RandomInvertibleMatrix; and fix a problem with a new feature for matrix groups#6232ThomasBreuer wants to merge 15 commits intogap-system:masterfrom
RandomMatrix, RandomInvertibleMatrix; and fix a problem with a new feature for matrix groups#6232ThomasBreuer wants to merge 15 commits intogap-system:masterfrom
Commits
Commits on Apr 13, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 20, 2026
- committed