diff options
Diffstat (limited to '')
| -rw-r--r-- | README.md | 32 |
1 files changed, 32 insertions, 0 deletions
| @@ -141,3 +141,35 @@ M/N is ODD and is read as the previous one. | |||
| 141 | 141 | ||
| 142 | ``` | 142 | ``` |
| 143 | 143 | ||
| 144 | Uncommenting the line of code: | ||
| 145 | ``` | ||
| 146 | print_case_list( ret ) | ||
| 147 | ``` | ||
| 148 | inside the function total_kummer_failure makes the script output the | ||
| 149 | description of the total failure as a finite list of cases, as below: | ||
| 150 | |||
| 151 | ``` | ||
| 152 | |||
| 153 | sage: TotalKummerFailure([25]) | ||
| 154 | M_0 = 40 | ||
| 155 | N_0 = 8 | ||
| 156 | |||
| 157 | The following table shows the total failure of Kummer degrees. | ||
| 158 | The degree of the Kummer extension (M,N) is e / f, where e = phi(M)*N^rank(G) and f is the entry of the table below at the row labelled with gcd(N,N0) and the column labelled with gcd(M,M0). | ||
| 159 | |||
| 160 | | 1 2 4 5 8 10 20 40 | ||
| 161 | - - - - - - - - - - | ||
| 162 | 1 | 1 1 1 1 1 1 1 1 | ||
| 163 | 2 | 2 2 2 2 2 2 2 2 | ||
| 164 | 4 | 2 2 2 2 2 2 4 4 | ||
| 165 | 8 | 2 2 2 2 2 2 2 4 | ||
| 166 | |||
| 167 | Failure is 1 if (gcd(M,M0),gcd(N,N0)) is one of the following: | ||
| 168 | [(1, 1), (2, 1), (4, 1), (5, 1), (8, 1), (10, 1), (20, 1), (40, 1)] | ||
| 169 | |||
| 170 | Failure is 2 if (gcd(M,M0),gcd(N,N0)) is one of the following: | ||
| 171 | [(1, 2), (2, 2), (4, 2), (5, 2), (8, 2), (10, 2), (20, 2), (40, 2), (1, 4), (2, 4), (4, 4), (5, 4), (8, 4), (10, 4), (1, 8), (2, 8), (4, 8), (5, 8), (8, 8), (10, 8), (20, 8)] | ||
| 172 | |||
| 173 | Failure is 4 if (gcd(M,M0),gcd(N,N0)) is one of the following: | ||
| 174 | [(20, 4), (40, 4), (40, 8)] | ||
| 175 | ``` | ||
