Determinantal variety (source code)

= Determinantal variety
{wiki}

A determinantal variety is cut out by minors imposing an upper bound on matrix rank.