kummer-degrees

Compute the degree of Kummer extensions
git clone https://git.tronto.net/kummer-degrees
Download | Log | Files | Refs | README | LICENSE

commit 47226efb9294adfdfdc11080ac3b3b8cef06daf7
parent bf1e3835019cb18062f2884f84ee3686c8777781
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Fri, 20 Sep 2019 11:55:56 +0200

New documentation

Diffstat:
MREADME.md | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md @@ -5,7 +5,7 @@ TotalKummerFailure (described below), simply download the file kummer_degree.sage and include it in your SageMath session/project, for example with ``` -attach("kummer_degree.sage"). +attach("kummer_degree.sage") ``` A Kummer Extension of Q is a field extension of the form Q_{M,N}:= @@ -22,7 +22,7 @@ this field Galois over Q. The main importance of this script is to show that, for a fixed group G as above, one can compute in a finite time a finite-case-distinction formula -that computes the degrees [Q_{M,N}:Q] of such extensions when M and N vary. +that computes the degrees of such extensions when M and N vary. A preprint by A. Perucca, P. Sgobba and S. Tronto that explains how this is possible can be found in the docs folder.