The problem of finding all independent irreducible algebraic relations among any finite set of Quantics.
