Definition: A quadratic form f(x,y) = ax^2 + bxy + cy^2 with non-square determinant is reduced if -|a| < b <= |a| < |c| or 0 < b < |a| = |c|.