For A of size m × n and B of size n × m with n ≥ m, det(AB) equals the sum over m-subsets S ⊆ [n] of det(A_S) · det(B^S), where A_S is A restricted to columns in S and B^S to rows in S. Encodes Plücker relations; degree of the…
For A of size m × n and B of size n × m with n ≥ m, det(AB) equals the sum over m-subsets S ⊆ [n] of det(A_S) · det(B^S), where A_S is A restricted to columns in S and B^S to rows in S. Encodes Plücker relations; degree of the…