reduced binary quadratic form