Algorithms for quadratic forms over real function fields

• Autorzy: Konrad Jałowiecki , Przemysław Koprowski
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 14P05: Real algebraic sets
• 14Q99: None of the above, but in this section
• 11E25: Sums of squares and representations by other particular quadratic forms
• 68W30: Symbolic computation and algebraic computation

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Banach Center Publications
• Rocznik: 2016
• Tom: 108
• Numer: 1
• Strony: 133-141

Daty

wydano

2016

Twórcy

autor

Konrad Jałowiecki

• Institute of Mathematics, University of Silesia, Bankowa 14, 40-007 Katowice, Poland

autor

Przemysław Koprowski

• Institute of Mathematics, University of Silesia, Bankowa 14, 40-007 Katowice, Poland

Identyfikatory

DOI

10.4064/bc108-0-10