A function involving the coefficients and the variables
   of a quantic, and such that when the quantic is lineally transformed
   the same function of the new variables and coefficients shall be equal
   to the old function multiplied by a factor. An invariant is a like
   function involving only the coefficients of the quantic.