diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-06-29 17:04:25 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-06-29 17:04:25 +0200 |
| commit | 64cf98091a3ae75ff0566f378644e28ae93e7b60 (patch) | |
| tree | 2c3209863d3fade82eb20d7f7777f7eb86b518e8 | |
| parent | 1437da00eeb4a7581df1b54ffc7680ffb491d690 (diff) | |
| download | kummer-degrees-64cf98091a3ae75ff0566f378644e28ae93e7b60.tar.gz kummer-degrees-64cf98091a3ae75ff0566f378644e28ae93e7b60.zip | |
Fixed some mistakes in special_element
| -rw-r--r-- | kummer_degree.sage | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kummer_degree.sage b/kummer_degree.sage index 3085efd..d6e8ffd 100644 --- a/kummer_degree.sage +++ b/kummer_degree.sage | |||
| @@ -173,8 +173,8 @@ def cyc_embed( b ): | |||
| 173 | # Computes the minimal cyclotomic field containing \zeta_{2^n}\sqrt(b), | 173 | # Computes the minimal cyclotomic field containing \zeta_{2^n}\sqrt(b), |
| 174 | # where (n,b)=p | 174 | # where (n,b)=p |
| 175 | def special_embed( p ): | 175 | def special_embed( p ): |
| 176 | n = p.first | 176 | n = p[0] |
| 177 | n = p.second | 177 | b = p[1] |
| 178 | m = squarefree_part(b) | 178 | m = squarefree_part(b) |
| 179 | if n == 3 and m % 2 == 0: | 179 | if n == 3 and m % 2 == 0: |
| 180 | return 4 * cyc_embed(m/2) | 180 | return 4 * cyc_embed(m/2) |