MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are there any know (preferably implemented) algorithms to find solutions to quadratic forms over number fields (or global fields)?

I am especially interested in the quaternary case. There exist some algorithms for ternary quadratic forms, some of which are implemented in Magma.

The only algorithm for quaternary forms over the rationals I know of is described in Algorithms for solving rational quadratics (Schicho, Pílniková). It works by dividing the equation up into two appropriate ternary forms. However I see no easy way to make it work over number fields.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.