Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 •  Contact us
 
[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Class Invariants

HilbertClassPolynomial(D) : RngIntElt -> RngUPolElt
Given a negative discriminant D, returns the Hilbert class polynomial, defined as the minimal polynomial of j(τ), where Z[τ] is an imaginary quadratic order of discriminant D.
WeberClassPolynomial(D) : RngIntElt -> RngUPolElt
Given a negative discriminant D congruent to 1 modulo 8, returns the Weber class polynomial, defined as the minimal polynomial of f(τ), where Z[τ] is an imaginary quadratic order of discriminant D and f is a particular normalized Weber function generating the same class field as j(τ). A root f(τ) of the Weber class polynomial is an integral unit generating the ring class field related to the corresponding root j(τ) of the Hilbert class polynomial by the expression

j(τ) = ((f(τ)24 - 16)3 /f(τ)24),

where ( GCD)(D, 3) = 1, and

j(τ) = ((f(τ)8 - 16)3 /f(τ)8),

if 3 divides D. For further details, consult Yui and Zagier [YZ97].

 [Next][Prev] [Right] [Left] [Up] [Index] [Root]
                       

Version: V2.16 of Mon Nov 16 15:04:45 EST 2009

Valid HTML 4.01! Valid CSS!