From ede2bfaf99d73cdaa6dc31fef8a400155b310cc4 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 20 Sep 2019 11:59:47 +0200 Subject: New documentation --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 7a8cad1..73e307d 100644 --- a/README.md +++ b/README.md @@ -86,8 +86,9 @@ the group G. In case -1 is not an element of G, there is only one table, otherwise two. In case -1 does not belong to G: -The rows of the table(s) are labelled with divisors of N_0, while the columns -with divisors of M_0. The total failure of maximality of the Kummer Extension +The rows of the table are labelled with the divisors of N_0, while the +columns with the divisors of M_0. The total failure of maximality of the +Kummer Extension Q_{M,N}, i.e. the ratio between phi(M)*N^rank(G) and the degree of Q_{M,N} over Q, is given by the (i,j)-th entry of the table for i=gcd(N,N_0) and j=gcd(M,M_0). -- cgit v1.3