New documentation

1 files changed, 5 insertions, 2 deletions

diff --git a/README.md b/README.md
index 7e9afdc..ffa8e75 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,9 @@
 # Kummer Degrees
-A SageMath script that computes the degrees of Kummer Extensions of the
-rational numbers.
+A one-file SageMath script that computes the degrees of Kummer Extensions of
+the rational numbers. In order to use the functions KummerDegree and
+TotalKummerFailure (described below), simply download the file
+kummer_degree.sage and include it in your project, for example with
+attach("kummer_degree.sage").
 
 A Kummer Extension of Q is a field extension of the form Q_{M,N}:=
 Q(\zeta_M,G^{1/N}), where: