Skip to main content
MathOverflow

Return to Question

+ ANT tag
Source Link
Myshkin
Myshkin
  • 17.6k
  • 5
  • 71
  • 137

I would like a convenient basis for the elements of a fixed abelian extension $E$ of a real quadratic field $\mathbb{Q}(\sqrt{d})$. The accepted answer to this MO question suggests that the Stark conjectures give explicit generators for $E$ which can then be verified using the computer algebra system PARI/GP.

Question: Given $d$, how do I use PARI/GP to find and verify the desired generators?

I would like a convenient basis for the elements of a fixed abelian extension $E$ of a real quadratic field $\mathbb{Q}(\sqrt{d})$. The accepted answer to this MO question suggests that the Stark conjectures give explicit generators for $E$ which can then be verified using the computer algebra system PARI/GP.

Question: Given $d$, how do I use PARI/GP to find and verify the desired generators?

I would like a convenient basis for the elements of a fixed abelian extension $E$ of a real quadratic field $\mathbb{Q}(\sqrt{d})$. The accepted answer to this MO question suggests that the Stark conjectures give explicit generators for $E$ which can then be verified using the computer algebra system PARI/GP.

Question: Given $d$, how do I use PARI/GP to find and verify the desired generators?

Source Link
Dustin G. Mixon
Dustin G. Mixon
  • 7.6k
  • 2
  • 31
  • 56

How to compute with the Stark conjectures?

I would like a convenient basis for the elements of a fixed abelian extension $E$ of a real quadratic field $\mathbb{Q}(\sqrt{d})$. The accepted answer to this MO question suggests that the Stark conjectures give explicit generators for $E$ which can then be verified using the computer algebra system PARI/GP.

Question: Given $d$, how do I use PARI/GP to find and verify the desired generators?