Reduction of Indefinite Forms

Abstract

In this chapter we explain reduction theory for indefinite forms which is quite different from reduction theory for positive definite forms. Reduced indefinite forms can only be used to decide equivalence of integral indefinite forms and the decision algorithm is much less efficient than in the positive definite case since reduction is no longer unique. Reduction theory also solves the minimum problem for integral indefinite forms.