aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md20
1 files changed, 15 insertions, 5 deletions
diff --git a/README.md b/README.md
index a376912..157c9a2 100644
--- a/README.md
+++ b/README.md
@@ -32,19 +32,29 @@ generators.
32* The complexity of the calculation of a call of KummerDegree(G,M,N) does not 32* The complexity of the calculation of a call of KummerDegree(G,M,N) does not
33depend on M and N. 33depend on M and N.
34 34
35Moreover, the results for each group G are cached, so that subsequent
36computation of degrees for the same group G only require constant time
37(and are very fast).
38
35 39
36## KummerDegree( G, M, N ) 40## KummerDegree( G, M, N )
37 41
38Returns the degree of the Kummer extension Q_{M,N}. Again, G is given simply as a list of generators and it may contain torsion. 42Returns the degree of the Kummer extension Q_{M,N}=Q(\zeta_M,G^{1/N}) over Q.
43
44INPUT:
45* G - a list of generators of the group G
46* M - a positive integer
47* N - a positive divisor of N
39 48
40Examples: 49OUTPUT:
50The degree of the Kummer Extensions Q_{M,N}=Q(\zeta_M,G^{1/N}) over Q.
41 51
52EXAMPLES:
42``` 53```
54sage: KummerDegree([5],10,2)
554
43sage: KummerDegree([-36,12,-1],120,24) 56sage: KummerDegree([-36,12,-1],120,24)
444608 574608
45```
46
47```
48sage: KummerDegree([144,27,49/81,-1/125,121/13],36*10^6,36*10^6) 58sage: KummerDegree([144,27,49/81,-1/125,121/13],36*10^6,36*10^6)
491007769600000000000000000000000000000000000 591007769600000000000000000000000000000000000
50``` 60```

Generated with cgit - Back to sebastiano.tronto.net