Displaying similar documents to “Systems of quadratic forms”

Algorithms for quadratic forms over real function fields

Konrad Jałowiecki, Przemysław Koprowski (2016)

Banach Center Publications

Similarity:

This paper presents algorithms for quadratic forms over a formally real algebraic function field K of one variable over a fixed real closed field k. The algorithms introduced in the paper solve the following problems: test whether an element is a square, respectively a local square, compute Witt index of a quadratic form and test if a form is isotropic/hyperbolic. Finally, we remark on a method for testing whether two function fields are Witt equivalent.