2
$\begingroup$

Given an algebraic number field $F$ (I actually don't have an idea how to implement this data already, except for splitting fields of polynomials, but there is something in SAGE) is there free code available n the internet for the following operations:

  • Compute the ring of integers $O$ and its units
  • Factorize a given prime ideal of $\mathbb{Q}$ in $F$ with a choice for generators, ramification degree, etc.
  • Compute the Galois groups over $\mathbb{Q}$
  • Compute monic, irreducible, quadratic polynomials $X^2 + A X + D$ for $A, D \leq N$ (appropiately interpreted in terms of ideals) and give information at which places it factorizes.

What is the analogue for global function fields?

$\endgroup$
5
  • 1
    $\begingroup$ Do you know Cohen's book on comptuational algebraic number theory? $\endgroup$ Sep 3, 2013 at 13:10
  • $\begingroup$ No, but it seems to cover most of what I want (at least the characteristic zero stuff). At least the available excerpts from Amazon suggest this. I will borrow it from our library now;) $\endgroup$
    – Marc Palm
    Sep 3, 2013 at 13:16
  • $\begingroup$ This book seem to be more about the theoretical background. I am interested more down-to-earth, say, ready-to-use codes in C++, Java, Pari or Sage, even pseudo code. I will try to clarify this. $\endgroup$
    – Marc Palm
    Sep 3, 2013 at 13:37
  • 1
    $\begingroup$ Pari/GP has some of this functionality. Type ?6 at the prompt to see what's available. Pari is also part of sage, so will be there also. $\endgroup$ Sep 3, 2013 at 14:00
  • 4
    $\begingroup$ Sage and Pari will both do the first three things on your list. I can't quite work out what the fourth one means exactly (but the two programs above can both happily factor polynomials over localizations of number fields). $\endgroup$ Sep 3, 2013 at 15:54

1 Answer 1

1
$\begingroup$

I think the most comprehensive implementations (if not necessarily the fastest, depending on the operation needed) are found in Magma. Magma certainly has functions for function fields as well as number fields.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.