asked 2021-11-23 23:09:50 +0200
how to check whether matrix B is principal submatrix of A in sagemath