diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 20 |
1 files changed, 15 insertions, 5 deletions
| @@ -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 |
| 33 | depend on M and N. | 33 | depend on M and N. |
| 34 | 34 | ||
| 35 | Moreover, the results for each group G are cached, so that subsequent | ||
| 36 | computation 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 | ||
| 38 | Returns the degree of the Kummer extension Q_{M,N}. Again, G is given simply as a list of generators and it may contain torsion. | 42 | Returns the degree of the Kummer extension Q_{M,N}=Q(\zeta_M,G^{1/N}) over Q. |
| 43 | |||
| 44 | INPUT: | ||
| 45 | * G - a list of generators of the group G | ||
| 46 | * M - a positive integer | ||
| 47 | * N - a positive divisor of N | ||
| 39 | 48 | ||
| 40 | Examples: | 49 | OUTPUT: |
| 50 | The degree of the Kummer Extensions Q_{M,N}=Q(\zeta_M,G^{1/N}) over Q. | ||
| 41 | 51 | ||
| 52 | EXAMPLES: | ||
| 42 | ``` | 53 | ``` |
| 54 | sage: KummerDegree([5],10,2) | ||
| 55 | 4 | ||
| 43 | sage: KummerDegree([-36,12,-1],120,24) | 56 | sage: KummerDegree([-36,12,-1],120,24) |
| 44 | 4608 | 57 | 4608 |
| 45 | ``` | ||
| 46 | |||
| 47 | ``` | ||
| 48 | sage: KummerDegree([144,27,49/81,-1/125,121/13],36*10^6,36*10^6) | 58 | sage: KummerDegree([144,27,49/81,-1/125,121/13],36*10^6,36*10^6) |
| 49 | 1007769600000000000000000000000000000000000 | 59 | 1007769600000000000000000000000000000000000 |
| 50 | ``` | 60 | ``` |
