build/pkgs/[z-z]*/SPKG.rst: Reformat title in format 'spkg_name: Shor…

…t description' -- completes coverage of all optional packages
sagemath · Dec 31, 2020 · 17789df · 17789df
1 parent 23558f8
commit 17789df
Show file tree

Hide file tree

Showing 63 changed files with 136 additions and 139 deletions.
diff --git a/build/pkgs/e_antic/SPKG.rst b/build/pkgs/e_antic/SPKG.rst
@@ -1,6 +1,5 @@
-
-e-antic
-=======
+e_antic: Real embedded number fields
+====================================
 
 Description
 -----------

diff --git a/build/pkgs/fricas/SPKG.rst b/build/pkgs/fricas/SPKG.rst
@@ -1,5 +1,5 @@
-fricas
-======
+fricas: A general purpose computer algebra system
+=================================================
 
 Description
 -----------

diff --git a/build/pkgs/frobby/SPKG.rst b/build/pkgs/frobby/SPKG.rst
@@ -1,5 +1,5 @@
-Frobby
-======
+frobby: Computations on monomial ideals
+=======================================
 
 Description
 -----------

diff --git a/build/pkgs/gap_jupyter/SPKG.rst b/build/pkgs/gap_jupyter/SPKG.rst
@@ -1,6 +1,5 @@
-
-jupyter-kernel-gap
-==================
+gap_jupyter: Jupyter kernel for GAP
+===================================
 
 Description
 -----------

diff --git a/build/pkgs/gap_packages/SPKG.rst b/build/pkgs/gap_packages/SPKG.rst
@@ -1,5 +1,5 @@
-gap_packages
-============
+gap_packages: A collection of GAP packages
+==========================================
 
 Description
 -----------

diff --git a/build/pkgs/glucose/SPKG.rst b/build/pkgs/glucose/SPKG.rst
@@ -1,15 +1,17 @@
-glucose
-=======
+glucose: A SAT solver
+=====================
 
 Description
 -----------
 
 Glucose is a SAT solver.
 
-Citing its website: \*The name of the solver is a contraction of the
-concept of "glue clauses", a particular kind of clauses that glucose
-detects and preserves during search. Glucose is heavily based on
-Minisat, so please do cite Minisat also if you want to cite Glucose.\*
+Citing its website:
+
+  The name of the solver is a contraction of the
+  concept of "glue clauses", a particular kind of clauses that glucose
+  detects and preserves during search. Glucose is heavily based on
+  Minisat, so please do cite Minisat also if you want to cite Glucose.
 
 License
 -------

diff --git a/build/pkgs/gp2c/SPKG.rst b/build/pkgs/gp2c/SPKG.rst
@@ -1,5 +1,5 @@
-gp2c
-====
+gp2c: A compiler for translating GP routines to C
+=================================================
 
 Description
 -----------

diff --git a/build/pkgs/igraph/SPKG.rst b/build/pkgs/igraph/SPKG.rst
@@ -1,5 +1,5 @@
-igraph
-======
+igraph: A library for creating and manipulating graphs
+======================================================
 
 Description
 -----------

diff --git a/build/pkgs/isl/SPKG.rst b/build/pkgs/isl/SPKG.rst
@@ -1,5 +1,5 @@
-isl
-===
+isl: Sets and relations of integer points bounded by affine constraints
+=======================================================================
 
 Description
 -----------

diff --git a/build/pkgs/jupymake/SPKG.rst b/build/pkgs/jupymake/SPKG.rst
@@ -1,5 +1,5 @@
-jupymake
-========
+jupymake: A Python wrapper for the polymake shell
+=================================================
 
 Description
 -----------

diff --git a/build/pkgs/jupyterlab/SPKG.rst b/build/pkgs/jupyterlab/SPKG.rst
@@ -1,5 +1,5 @@
-JupyterLab
-==========
+jupyterlab: An extensible environment for interactive and reproducible computing
+================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/jupyterlab_widgets/SPKG.rst b/build/pkgs/jupyterlab_widgets/SPKG.rst
@@ -1,5 +1,5 @@
-Jupyter Widgets JupyterLab Extension
-====================================
+jupyterlab_widgets: A JupyterLab extension for Jupyter/IPython widgets
+======================================================================
 
 Description
 -----------

diff --git a/build/pkgs/kenzo/SPKG.rst b/build/pkgs/kenzo/SPKG.rst
@@ -1,5 +1,5 @@
-Kenzo
-=====
+kenzo: Construct topological spaces and compute homology groups
+===============================================================
 
 Description
 -----------

diff --git a/build/pkgs/latte_int/SPKG.rst b/build/pkgs/latte_int/SPKG.rst
@@ -1,5 +1,5 @@
-LattE_Integrale
-===============
+latte_int: Count lattice points, compute volumes, and integrate over convex polytopes
+=====================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/libnauty/SPKG.rst b/build/pkgs/libnauty/SPKG.rst
@@ -1,5 +1,5 @@
-libnauty
-========
+libnauty: Find automorphism groups of graphs, generate non-isomorphic graphs (callable library)
+===============================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/libogg/SPKG.rst b/build/pkgs/libogg/SPKG.rst
@@ -1,5 +1,5 @@
-libogg
-======
+libogg: Library for the Ogg multimedia container format
+=======================================================
 
 Description
 -----------

diff --git a/build/pkgs/libsemigroups/SPKG.rst b/build/pkgs/libsemigroups/SPKG.rst
@@ -1,5 +1,5 @@
-libffi
-======
+libsemigroups: Library for semigroups and monoids
+=================================================
 
 Description
 -----------

diff --git a/build/pkgs/libxml2/SPKG.rst b/build/pkgs/libxml2/SPKG.rst
@@ -1,5 +1,5 @@
-libxml2
-=======
+libxml2: XML parser and toolkit
+===============================
 
 Description
 -----------

diff --git a/build/pkgs/lidia/SPKG.rst b/build/pkgs/lidia/SPKG.rst
@@ -1,5 +1,5 @@
-lidia
-=====
+lidia: A library for computational number theory
+================================================
 
 Description
 -----------

diff --git a/build/pkgs/lrslib/SPKG.rst b/build/pkgs/lrslib/SPKG.rst
@@ -1,5 +1,5 @@
-lrslib
-======
+lrslib: Reverse search algorithm for vertex enumeration and convex hull problems
+================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/mcqd/SPKG.rst b/build/pkgs/mcqd/SPKG.rst
@@ -1,6 +1,5 @@
-
-MCQD 1.0
-========
+mcqd: An exact algorithm for finding a maximum clique in an undirected graph
+============================================================================
 
 Description
 -----------

diff --git a/build/pkgs/meataxe/SPKG.rst b/build/pkgs/meataxe/SPKG.rst
@@ -1,5 +1,5 @@
-SharedMeatAxe
-=============
+meataxe: Library for computing with modular representations
+===========================================================
 
 Description
 -----------

diff --git a/build/pkgs/mpfrcx/SPKG.rst b/build/pkgs/mpfrcx/SPKG.rst
@@ -1,5 +1,5 @@
-MPFRCX
-======
+mpfrcx: Arithmetic of univariate polynomials over arbitrary precision real or complex numbers
+=============================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/ninja_build/SPKG.rst b/build/pkgs/ninja_build/SPKG.rst
@@ -1,5 +1,5 @@
-ninja_build
-===========
+ninja_build: A build system with a focus on speed
+=================================================
 
 Description
 -----------

diff --git a/build/pkgs/nodeenv/SPKG.rst b/build/pkgs/nodeenv/SPKG.rst
@@ -1,5 +1,5 @@
-nodeenv
-=======
+nodeenv: A tool to create isolated node.js environments
+=======================================================
 
 Description
 -----------

diff --git a/build/pkgs/nodejs/SPKG.rst b/build/pkgs/nodejs/SPKG.rst
@@ -1,5 +1,5 @@
-Node.js
-=======
+nodejs: A JavaScript runtime built on Chrome's V8 JavaScript engine
+===================================================================
 
 Description
 -----------

diff --git a/build/pkgs/normaliz/SPKG.rst b/build/pkgs/normaliz/SPKG.rst
@@ -1,5 +1,5 @@
-normaliz
-========
+normaliz: Computations in affine monoids, vector configurations, lattice polytopes, and rational cones
+======================================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/notedown/SPKG.rst b/build/pkgs/notedown/SPKG.rst
@@ -1,5 +1,5 @@
-notedown
-========
+notedown: Create IPython notebooks from markdown
+================================================
 
 Description
 -----------

diff --git a/build/pkgs/openssl/SPKG.rst b/build/pkgs/openssl/SPKG.rst
@@ -1,5 +1,5 @@
-OpenSSL
-=======
+openssl: Implementation of the SSL and TLS protocols
+====================================================
 
 Description
 -----------

diff --git a/build/pkgs/p_group_cohomology/SPKG.rst b/build/pkgs/p_group_cohomology/SPKG.rst
@@ -1,5 +1,5 @@
-p_group_cohomology
-==================
+p_group_cohomology: Modular cohomology rings of finite groups
+=============================================================
 
 Description
 -----------

diff --git a/build/pkgs/pandoc/SPKG.rst b/build/pkgs/pandoc/SPKG.rst
@@ -1,5 +1,5 @@
-Pandoc
-======
+pandoc: A document converter
+============================
 
 Description
 -----------

diff --git a/build/pkgs/pandoc_attributes/SPKG.rst b/build/pkgs/pandoc_attributes/SPKG.rst
@@ -1,5 +1,5 @@
-pandoc_attributes
-=================
+pandoc_attributes: A parser and generator for pandoc block attributes
+=====================================================================
 
 Description
 -----------

diff --git a/build/pkgs/pari_elldata/SPKG.rst b/build/pkgs/pari_elldata/SPKG.rst
@@ -1,5 +1,5 @@
-pari_elldata
-============
+pari_elldata: PARI data package for elliptic curves
+===================================================
 
 Description
 -----------

diff --git a/build/pkgs/pari_galpol/SPKG.rst b/build/pkgs/pari_galpol/SPKG.rst
@@ -1,5 +1,5 @@
-pari_galpol
-===========
+pari_galpol: PARI data package for polynomials defining Galois extensions of the rationals
+==========================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/pari_jupyter/SPKG.rst b/build/pkgs/pari_jupyter/SPKG.rst
@@ -1,5 +1,5 @@
-pari_jupyter
-============
+pari_jupyter: Jupyter kernel for PARI/GP
+========================================
 
 Description
 -----------

diff --git a/build/pkgs/pari_nftables/SPKG.rst b/build/pkgs/pari_nftables/SPKG.rst
@@ -1,5 +1,5 @@
-pari_elldata
-============
+pari_nftables: PARI data package for number fields
+==================================================
 
 Description
 -----------

diff --git a/build/pkgs/pari_seadata/SPKG.rst b/build/pkgs/pari_seadata/SPKG.rst
@@ -1,5 +1,5 @@
-pari_seadata
-============
+pari_seadata: PARI data package needed by ellap for large primes (full version)
+===============================================================================
 
 Description
 -----------

diff --git a/build/pkgs/perl_cpan_polymake_prereq/SPKG.rst b/build/pkgs/perl_cpan_polymake_prereq/SPKG.rst
@@ -1,5 +1,5 @@
-perl_cpan_polymake_prereq
-=========================
+perl_cpan_polymake_prereq: Represents all Perl packages that are prerequisites for polymake
+===========================================================================================
 
 Description
 -----------

diff --git a/build/pkgs/plantri/SPKG.rst b/build/pkgs/plantri/SPKG.rst
@@ -1,5 +1,5 @@
-Plantri
-=======
+plantri: Generate non-isomorphic sphere-embdedded graphs
+========================================================
 
 Description
 -----------

diff --git a/build/pkgs/polylib/SPKG.rst b/build/pkgs/polylib/SPKG.rst
@@ -1,5 +1,5 @@
-polylib
-=======
+polylib: Operations on unions of polyhedra
+==========================================
 
 Description
 -----------

diff --git a/build/pkgs/polytopes_db_4d/SPKG.rst b/build/pkgs/polytopes_db_4d/SPKG.rst
@@ -1,5 +1,5 @@
-4D Reflexive Polytopes Database
-===============================
+polytopes_db_4d: Database of 4-dimensional reflexive polytopes
+==============================================================
 
 Description
 -----------

diff --git a/build/pkgs/primecount/SPKG.rst b/build/pkgs/primecount/SPKG.rst
@@ -1,5 +1,5 @@
-primecount
-==========
+primecount: Algorithms for counting primes
+==========================================
 
 Description
 -----------

diff --git a/build/pkgs/pycosat/SPKG.rst b/build/pkgs/pycosat/SPKG.rst
@@ -1,5 +1,5 @@
-pycosat
-=======
+pycosat: SAT solver picosat with Python bindings
+================================================
 
 Description
 -----------

diff --git a/build/pkgs/pynormaliz/SPKG.rst b/build/pkgs/pynormaliz/SPKG.rst
@@ -1,5 +1,5 @@
-pynormaliz
-==========
+pynormaliz: Python bindings for the normaliz library
+====================================================
 
 Description
 -----------

diff --git a/build/pkgs/pysingular/SPKG.rst b/build/pkgs/pysingular/SPKG.rst
@@ -1,5 +1,5 @@
-PySingular
-==========
+pysingular: A basic Python interface to Singular
+================================================
 
 Description
 -----------

diff --git a/build/pkgs/python_igraph/SPKG.rst b/build/pkgs/python_igraph/SPKG.rst
@@ -1,6 +1,5 @@
-
-python-igraph
-=============
+python_igraph: Python bindings for igraph
+=========================================
 
 Description
 -----------

diff --git a/build/pkgs/pyx/SPKG.rst b/build/pkgs/pyx/SPKG.rst
@@ -1,5 +1,5 @@
-pyx
-===
+pyx: Generate PostScript, PDF, and SVG files in Python
+======================================================
 
 Description
 -----------