gnu: packages/sagemath: Sort alphabetically.

* gnu/packages/sagemath.scm: (brial, cliquer, lcalc, zn-poly): Sort
variables alphabetically.

Change-Id: I49e5716a4fa0cf0533b080c18830314649411e09

1 files changed, 115 insertions, 141 deletions

diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm
index 3b7f63bcfd..6d9d00fe55 100644
--- a/gnu/packages/sagemath.scm
+++ b/gnu/packages/sagemath.scm
@@ -48,6 +48,64 @@
   #:use-module (gnu packages python-xyz))
 
 
+(define-public brial
+  (package
+    (name "brial")
+    (version "1.2.8")
+    (source
+    (origin
+      (method git-fetch)
+      (uri (git-reference
+             (url "https://github.com/BRiAl/BRiAl/")
+             (commit version)))
+      (file-name (git-file-name name version))
+      (sha256
+       (base32 "0qhgckd4fvbs40jw14mvw89rccv94d3df27kipd27hxd4cx7y80y"))))
+    (build-system gnu-build-system)
+    (native-inputs
+     (list autoconf automake libtool pkg-config))
+    (inputs
+     (list boost libpng m4ri))
+    (arguments
+    ;; We are missing the boost unit test framework.
+     `(#:tests? #f
+       #:configure-flags (list "--without-boost-unit-test-framework")))
+    (synopsis "Arithmetic of polynomials over boolean rings")
+    (description "BRiAl is the successor to  PolyBoRi maintained by the
+Sage community.  Its core is a C++ library, which provides high-level data
+types for Boolean polynomials and monomials, exponent vectors, as well as
+for the underlying polynomial rings and subsets of the powerset of the
+Boolean variables.  As a unique approach, binary decision diagrams are
+used as internal storage type for polynomial structures.")
+    (license license:gpl2+)
+    (home-page "https://github.com/BRiAl/BRiAl/")))
+
+(define-public cliquer
+  (package
+    (name "cliquer")
+    (version "1.21")
+    ;; The original source package is available from the home page and
+    ;; has not seen any release since 2010; it comes with only a Makefile
+    ;; without an "install" target. Instead, there is an autotoolized
+    ;; tarball available from the Sage project.
+    (source
+     (origin
+       (method url-fetch)
+       (uri "http://users.ox.ac.uk/~coml0531/sage/cliquer-1.21.tar.gz")
+       (sha256
+        (base32
+         "1hdzrmrx0nvvj8kbwxrs8swqgkd284khzl623jizixcv28xb77aq"))))
+    (build-system gnu-build-system)
+    (synopsis "C routines for finding cliques in weighted graphs")
+    (description "Cliquer is a set of reentrant C routines for finding
+cliques in a weighted or unweighted graph.  It uses an exact
+branch-and-bound algorithm.  It can search for maximum or maximum-weight
+cliques or cliques with size or weight within a given range, restrict the
+search to maximal cliques, store cliques in memory and call a user-defined
+function for every found clique.")
+    (license license:gpl2+)
+    (home-page "https://users.aalto.fi/~pat/cliquer.html")))
+
 (define-public python-cypari2
   (package
     (name "python-cypari2")
@@ -129,32 +187,6 @@ libraries GMO, MPFR and MPC.")
 @item @code{aligned_allocarray}")
     (license license:gpl3+)))
 
-(define-public cliquer
-  (package
-    (name "cliquer")
-    (version "1.21")
-    ;; The original source package is available from the home page and
-    ;; has not seen any release since 2010; it comes with only a Makefile
-    ;; without an "install" target. Instead, there is an autotoolized
-    ;; tarball available from the Sage project.
-    (source
-     (origin
-       (method url-fetch)
-       (uri "http://users.ox.ac.uk/~coml0531/sage/cliquer-1.21.tar.gz")
-       (sha256
-        (base32
-         "1hdzrmrx0nvvj8kbwxrs8swqgkd284khzl623jizixcv28xb77aq"))))
-    (build-system gnu-build-system)
-    (synopsis "C routines for finding cliques in weighted graphs")
-    (description "Cliquer is a set of reentrant C routines for finding
-cliques in a weighted or unweighted graph.  It uses an exact
-branch-and-bound algorithm.  It can search for maximum or maximum-weight
-cliques or cliques with size or weight within a given range, restrict the
-search to maximal cliques, store cliques in memory and call a user-defined
-function for every found clique.")
-    (license license:gpl2+)
-    (home-page "https://users.aalto.fi/~pat/cliquer.html")))
-
 (define-public libbraiding
   (package
     (name "libbraiding")
@@ -205,63 +237,6 @@ represented as strings.")
     (license license:public-domain)
     (home-page "https://github.com/miguelmarco/libhomfly")))
 
-;; Sage has become upstream of the following package.
-(define-public zn-poly
-  (package
-    (name "zn-poly")
-    (version "0.9.2")
-    (source
-     (origin
-       (method git-fetch)
-       (uri (git-reference
-              (url (string-append "https://gitlab.com/sagemath/"
-                                  "zn_poly.git/"))
-              (commit version)))
-       (file-name (git-file-name "zn_poly" version))
-       (sha256
-        (base32 "1wbc3apxcldxfcw1dnwnn7fvlfb6bwvlr8glvgv6hf79p9r2s4j0"))))
-    (build-system gnu-build-system)
-    (native-inputs
-     `(("python" ,python-2)))
-    (inputs
-     (list gmp))
-    (arguments
-     `(#:phases
-       (modify-phases %standard-phases
-         (replace 'configure
-           ;; The configure script chokes on --enable-fast-install.
-           (lambda* (#:key inputs outputs #:allow-other-keys)
-             (invoke "./configure"
-                     (string-append "--prefix=" (assoc-ref outputs "out"))
-                     "--cflags=-O3 -fPIC")))
-         (add-before 'build 'prepare-build
-           (lambda _
-             (setenv "CC" "gcc")
-             #t))
-         (add-after 'build 'build-so
-           (lambda _
-             (invoke "make" "libzn_poly.so")))
-         (add-after 'install 'install-so
-           (lambda* (#:key outputs #:allow-other-keys)
-             (let* ((out (assoc-ref outputs "out"))
-                    (lib (string-append out "/lib"))
-                    (soname (string-append "libzn_poly-" ,version ".so"))
-                    (target (string-append lib "/" soname)))
-               (install-file "libzn_poly.a" lib)
-               (install-file soname lib)
-               (symlink target
-                        (string-append lib "/libzn_poly.so"))
-               (symlink target
-                        (string-append lib "/libzn_poly-"
-                                       ,(version-major+minor version)
-                                       ".so")))
-             #t)))))
-    (synopsis "Arithmetic for polynomials over Z/NZ")
-    (description "zn_poly implements the arithmetic of polynomials the
-coefficients of which are modular integers.")
-    (license (list license:gpl2 license:gpl3)) ; dual licensed
-    (home-page "https://gitlab.com/sagemath/zn_poly")))
-
 (define-public python-pplpy
   (package
     (name "python-pplpy")
@@ -282,64 +257,6 @@ coefficients of which are modular integers.")
 Polyhedra Library (PPL).")
     (license license:gpl3+)))
 
-(define-public brial
-  (package
-    (name "brial")
-    (version "1.2.8")
-    (source
-    (origin
-      (method git-fetch)
-      (uri (git-reference
-             (url "https://github.com/BRiAl/BRiAl/")
-             (commit version)))
-      (file-name (git-file-name name version))
-      (sha256
-       (base32 "0qhgckd4fvbs40jw14mvw89rccv94d3df27kipd27hxd4cx7y80y"))))
-    (build-system gnu-build-system)
-    (native-inputs
-     (list autoconf automake libtool pkg-config))
-    (inputs
-     (list boost libpng m4ri))
-    (arguments
-    ;; We are missing the boost unit test framework.
-     `(#:tests? #f
-       #:configure-flags (list "--without-boost-unit-test-framework")))
-    (synopsis "Arithmetic of polynomials over boolean rings")
-    (description "BRiAl is the successor to  PolyBoRi maintained by the
-Sage community.  Its core is a C++ library, which provides high-level data
-types for Boolean polynomials and monomials, exponent vectors, as well as
-for the underlying polynomial rings and subsets of the powerset of the
-Boolean variables.  As a unique approach, binary decision diagrams are
-used as internal storage type for polynomial structures.")
-    (license license:gpl2+)
-    (home-page "https://github.com/BRiAl/BRiAl/")))
-
-(define-public lcalc
-  (package
-    (name "lcalc")
-    (version "2.0.5")
-    (source (origin
-              (method git-fetch)
-              (uri (git-reference
-                    (url "https://gitlab.com/sagemath/lcalc")
-                    (commit version)))
-              (file-name (git-file-name name version))
-              (sha256
-               (base32
-                "1rwyx292y3jbsp88wagn9nhl9z7wsnl2yrs5imxkbxq87pnrj5a7"))))
-    (build-system gnu-build-system)
-    (arguments
-     (list #:configure-flags '(list "--with-pari")))
-    (inputs (list pari-gp))
-    (native-inputs (list autoconf automake libtool pkg-config gengetopt))
-    (home-page "https://gitlab.com/sagemath/lcalc")
-    (synopsis "C++ library for computing with L-functions")
-    (description
-     "Lcalc computes L-functions, in particular the Riemann zeta function,
-Dirichlet L-functions and L-functions attached to elliptic curves and
-modular forms.")
-    (license license:gpl2+)))
-
 (define-public ratpoints
   (package
     (name "ratpoints")
@@ -381,3 +298,60 @@ modular forms.")
 a given height bound on a hyperelliptic curve in a very efficient way,
 by using an optimized quadratic sieve algorithm.")
     (license license:gpl2+)))
+
+;; Sage has become upstream of the following package.
+(define-public zn-poly
+  (package
+    (name "zn-poly")
+    (version "0.9.2")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+              (url (string-append "https://gitlab.com/sagemath/"
+                                  "zn_poly.git/"))
+              (commit version)))
+       (file-name (git-file-name "zn_poly" version))
+       (sha256
+        (base32 "1wbc3apxcldxfcw1dnwnn7fvlfb6bwvlr8glvgv6hf79p9r2s4j0"))))
+    (build-system gnu-build-system)
+    (native-inputs
+     `(("python" ,python-2)))
+    (inputs
+     (list gmp))
+    (arguments
+     `(#:phases
+       (modify-phases %standard-phases
+         (replace 'configure
+           ;; The configure script chokes on --enable-fast-install.
+           (lambda* (#:key inputs outputs #:allow-other-keys)
+             (invoke "./configure"
+                     (string-append "--prefix=" (assoc-ref outputs "out"))
+                     "--cflags=-O3 -fPIC")))
+         (add-before 'build 'prepare-build
+           (lambda _
+             (setenv "CC" "gcc")
+             #t))
+         (add-after 'build 'build-so
+           (lambda _
+             (invoke "make" "libzn_poly.so")))
+         (add-after 'install 'install-so
+           (lambda* (#:key outputs #:allow-other-keys)
+             (let* ((out (assoc-ref outputs "out"))
+                    (lib (string-append out "/lib"))
+                    (soname (string-append "libzn_poly-" ,version ".so"))
+                    (target (string-append lib "/" soname)))
+               (install-file "libzn_poly.a" lib)
+               (install-file soname lib)
+               (symlink target
+                        (string-append lib "/libzn_poly.so"))
+               (symlink target
+                        (string-append lib "/libzn_poly-"
+                                       ,(version-major+minor version)
+                                       ".so")))
+             #t)))))
+    (synopsis "Arithmetic for polynomials over Z/NZ")
+    (description "zn_poly implements the arithmetic of polynomials the
+coefficients of which are modular integers.")
+    (license (list license:gpl2 license:gpl3)) ; dual licensed
+    (home-page "https://gitlab.com/sagemath/zn_poly")))