### 3 as a Ninth Power (mod p).

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

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.