diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2019-09-20 11:55:56 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2019-09-20 11:55:56 +0200 |
| commit | 47226efb9294adfdfdc11080ac3b3b8cef06daf7 (patch) | |
| tree | a5b283f1881f80760b528c1722b7b30e6ea87180 | |
| parent | bf1e3835019cb18062f2884f84ee3686c8777781 (diff) | |
| download | kummer-degrees-47226efb9294adfdfdc11080ac3b3b8cef06daf7.tar.gz kummer-degrees-47226efb9294adfdfdc11080ac3b3b8cef06daf7.zip | |
New documentation
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
| @@ -5,7 +5,7 @@ TotalKummerFailure (described below), simply download the file | |||
| 5 | kummer_degree.sage and include it in your SageMath session/project, | 5 | kummer_degree.sage and include it in your SageMath session/project, |
| 6 | for example with | 6 | for example with |
| 7 | ``` | 7 | ``` |
| 8 | attach("kummer_degree.sage"). | 8 | attach("kummer_degree.sage") |
| 9 | ``` | 9 | ``` |
| 10 | 10 | ||
| 11 | A Kummer Extension of Q is a field extension of the form Q_{M,N}:= | 11 | A Kummer Extension of Q is a field extension of the form Q_{M,N}:= |
| @@ -22,7 +22,7 @@ this field Galois over Q. | |||
| 22 | 22 | ||
| 23 | The main importance of this script is to show that, for a fixed group G as | 23 | The main importance of this script is to show that, for a fixed group G as |
| 24 | above, one can compute in a finite time a finite-case-distinction formula | 24 | above, one can compute in a finite time a finite-case-distinction formula |
| 25 | that computes the degrees [Q_{M,N}:Q] of such extensions when M and N vary. | 25 | that computes the degrees of such extensions when M and N vary. |
| 26 | A preprint by A. Perucca, P. Sgobba and S. Tronto that explains how this is | 26 | A preprint by A. Perucca, P. Sgobba and S. Tronto that explains how this is |
| 27 | possible can be found in the docs folder. | 27 | possible can be found in the docs folder. |
| 28 | 28 | ||