Merge branch 'u/gh-ChamanAgrawal/28228_superTableaux' into u/gh-Chama…

…nAgrawal/24894_superRSK
sagemath · Aug 1, 2019 · 3019ade · 3019ade
2 parents de9e7e7 + 71988ce
commit 3019ade
Show file tree

Hide file tree

Showing 96 changed files with 2,221 additions and 745 deletions.
diff --git a/VERSION.txt b/VERSION.txt
@@ -1 +1 @@
-SageMath version 8.9.beta2, Release Date: 2019-07-10
+SageMath version 8.9.beta3, Release Date: 2019-07-19
diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini
@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=26a2a0985ddc31a0834ca0b5525bbca3cd0688ea
-md5=4bebec8f7e008e2c99b28d8187837c14
-cksum=3649393931
+sha1=884916977f16b435feca568af4143d7b611ff296
+md5=cb3d4daa45edbf2bf0a6d36bb742404c
+cksum=2276007569
diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt
@@ -1 +1 @@
-cd18186c4637ab0292966ba1bae00a5ee568be78
+0d04feb43bda005d57532404737fbb00bb094a96
diff --git a/build/pkgs/gap/checksums.ini b/build/pkgs/gap/checksums.ini
@@ -1,4 +1,4 @@
 tarball=gap-VERSION.tar.bz2
-sha1=1ac95a8b17102379526962706ae9b334b871899d
-md5=3429dd48d0af97e65f81c06584ccdf7f
-cksum=2060197163
+sha1=ceeb3dfbc0c26031ad53b0256ed04ca9d532566d
+md5=36a141e05bb55be5d6ead7ccda969c5e
+cksum=3891403157
diff --git a/build/pkgs/gap/package-version.txt b/build/pkgs/gap/package-version.txt
@@ -1 +1 @@
-4.10.1.p0
+4.10.2.p0
diff --git a/build/pkgs/gap_packages/checksums.ini b/build/pkgs/gap_packages/checksums.ini
@@ -1,4 +1,4 @@
 tarball=gap-VERSION.tar.bz2
-sha1=1ac95a8b17102379526962706ae9b334b871899d
-md5=3429dd48d0af97e65f81c06584ccdf7f
-cksum=2060197163
+sha1=ceeb3dfbc0c26031ad53b0256ed04ca9d532566d
+md5=36a141e05bb55be5d6ead7ccda969c5e
+cksum=3891403157
diff --git a/build/pkgs/gap_packages/package-version.txt b/build/pkgs/gap_packages/package-version.txt
@@ -1 +1 @@
-4.10.1.p0
+4.10.2.p0
diff --git a/build/pkgs/gap_packages/spkg-install b/build/pkgs/gap_packages/spkg-install
@@ -17,7 +17,7 @@ sdh_install \
     crime-* \
     cryst \
     crystcat \
-    design \
+    design-* \
     gbnp \
     Hap* \
     HAPcryst \
@@ -30,7 +30,7 @@ sdh_install \
     PackageManager-* \
     polymaking-* \
     qpa-* \
-    quagroup \
+    quagroup-* \
     radiroot-* \
     repsn-* \
     sla-* \

diff --git a/build/pkgs/giac/checksums.ini b/build/pkgs/giac/checksums.ini
@@ -1,4 +1,4 @@
 tarball=giac-VERSION.tar.bz2
-sha1=e5f21744b344a8112e1d179e154ecf1e9f1318ba
-md5=adc278420abf2573d7e2ac910e67a12c
-cksum=785223596
+sha1=7ea2f353b7f63f484d38fe86c5720c82d770c69c
+md5=652634cf95590a5601d17c90c3fc410c
+cksum=2772110213
diff --git a/build/pkgs/giac/package-version.txt b/build/pkgs/giac/package-version.txt
@@ -1 +1 @@
-1.5.0.37.p1
+1.5.0.63.p0
diff --git a/build/pkgs/giac/patches/gbasis-bigprimesoverflow-1.5.0.37.patch b/build/pkgs/giac/patches/gbasis-bigprimesoverflow-1.5.0.37.patch
diff --git a/build/pkgs/giac/spkg-src b/build/pkgs/giac/spkg-src
@@ -14,7 +14,7 @@ fi
 set -e
 
 VERSION="1.5.0"
-VERSIONREV="37"
+VERSIONREV="63"
 
 # The upstream tarball name is: giac"$SOURCEORIG".tar.gz
 SOURCEORIG=_"$VERSION"-"$VERSIONREV"

diff --git a/build/pkgs/r/checksums.ini b/build/pkgs/r/checksums.ini
@@ -1,4 +1,4 @@
 tarball=R-VERSION.tar.gz
-sha1=c8a1949e763d22ec3b1dbdd251afcb0f1d2d5c76
-md5=65601eac6d353f7efb5b48c29097c2fb
-cksum=3870442260
+sha1=0041c025561b5622e3dc88cdedf82334620cd3c2
+md5=f5003472d58a3d3765a1c537fdae71d5
+cksum=1435085955
diff --git a/build/pkgs/r/package-version.txt b/build/pkgs/r/package-version.txt
@@ -1 +1 @@
-3.6.0
+3.6.1
diff --git a/src/bin/sage-version.sh b/src/bin/sage-version.sh
@@ -1,5 +1,5 @@
 # Sage version information for shell scripts
 # This file is auto-generated by the sage-update-version script, do not edit!
-SAGE_VERSION='8.9.beta2'
-SAGE_RELEASE_DATE='2019-07-10'
-SAGE_VERSION_BANNER='SageMath version 8.9.beta2, Release Date: 2019-07-10'
+SAGE_VERSION='8.9.beta3'
+SAGE_RELEASE_DATE='2019-07-19'
+SAGE_VERSION_BANNER='SageMath version 8.9.beta3, Release Date: 2019-07-19'
diff --git a/src/doc/en/developer/sage_manuals.rst b/src/doc/en/developer/sage_manuals.rst
@@ -118,7 +118,7 @@ by Sage, you can link toward it without specifying its full path:
      - ``:wikipedia:`Sage_(mathematics_software)```
      - :wikipedia:`Sage_(mathematics_software)`
 
-   * - Arxiv
+   * - arXiv
      - ``:arxiv:`1202.1506```
      - :arxiv:`1202.1506`
 

diff --git a/src/doc/en/reference/combinat/module_list.rst b/src/doc/en/reference/combinat/module_list.rst
@@ -346,6 +346,7 @@ Comprehensive Module list
     sage/combinat/subsets_pairwise
     sage/combinat/subword
     sage/combinat/subword_complex
+    sage/combinat/super_tableau
     sage/combinat/superpartition
     sage/combinat/symmetric_group_algebra
     sage/combinat/symmetric_group_representations

diff --git a/src/doc/en/reference/graphs/index.rst b/src/doc/en/reference/graphs/index.rst
@@ -78,6 +78,7 @@ Libraries of algorithms
    sage/graphs/linearextensions
    sage/graphs/schnyder
    sage/graphs/planarity
+   sage/graphs/traversals
    sage/graphs/graph_plot
    sage/graphs/graph_plot_js
    sage/graphs/graph_decompositions/vertex_separation

diff --git a/src/doc/en/reference/plot3d/threejs.rst b/src/doc/en/reference/plot3d/threejs.rst
@@ -44,6 +44,9 @@ Options currently supported by the viewer:
 
 - ``opacity`` -- (default: 1) numeric value for transparency of lines and surfaces
 
+- ``projection`` -- (default: 'perspective') the type of camera projection to use;
+  'perspective' or 'orthographic'
+
 - ``radius`` -- (default: None) numeric value for radius of lines; use to render
   lines thicker than available using ``thickness`` or on Windows platforms where
   ``thickness`` is ignored

diff --git a/src/doc/en/reference/references/index.rst b/src/doc/en/reference/references/index.rst
@@ -128,8 +128,8 @@ REFERENCES:
 .. [AK1994] \S. Ariki and K. Koike.
             *A Hecke algebra of* `(\mathbb{Z}/r\mathbb{Z})\wr\mathfrak{S}_n`
             *and construction of its irreducible representations.*
-            Adv. Math. **106** (1994), 216–243.
-            mathscinet:`MR1279219`
+            Adv. Math. **106** (1994), 216–243,
+            :mathscinet:`MR1279219`
 
 .. [AKMMMP2002] Sang Yook An, Seog Young Kim, David C. Marshall,
                 Susan H. Marshall, William G. McCallum,
@@ -228,6 +228,10 @@ REFERENCES:
             Math. Theor. Comput. Sci. Proc., AJ, Assoc. Discrete
             Math. Theor. Comput. Sci., (2008). :arxiv:`0804.1587v1`
 
+.. [AO2018] Sami Assaf and Ezgi Kantarci Oguz. *A local characterization
+            of crystals for the quantum queer superalgebra*.
+            Preprint (2018). :arxiv:`1803.06317`
+
 .. [As2008b] Sami Assaf. *Dual equivalence graphs and a
              combinatorial proof of LLT and Macdonald positivity*.
              (2008). :arxiv:`1005.3759v5`.
@@ -420,7 +424,7 @@ REFERENCES:
                  A. Schilling, M. Yip. *A minimaj-preserving crystal on ordered
                  multiset partitions*.
                  Advances in Applied Math. 95 (2018) 96-115,
-                 :doi:`10.1016/j.aam.2017.11.006`. :arXiv:`1707.08709v2`.
+                 :doi:`10.1016/j.aam.2017.11.006`. :arxiv:`1707.08709v2`.
 
 .. [BCJ2007] Gregory V. Bard, and Nicolas T. Courtois, and Chris
              Jefferson.  *Efficient Methods for Conversion and
@@ -431,7 +435,7 @@ REFERENCES:
 
 .. [BCM15] Michele Borassi, Pierluigi Crescenzi, and Andrea Marino,
            Fast and Simple Computation of Top-k Closeness Centralities.
-           :arXiv:`1507.01490`.
+           :arxiv:`1507.01490`.
 
 .. [BCN1989] Andries E. Brouwer, Arjeh M. Cohen, and Arnold Neumaier.
              *Distance-Regular Graphs*, Springer, 1989.
@@ -469,7 +473,7 @@ REFERENCES:
 
 .. [BdVO2012] Christopher Bowman, Maud De Visscher, Rosa Orellana.
               *The partition algebra and the Kronecker coefficients*.
-              :arXiv:`1210.5579v6`.
+              :arxiv:`1210.5579v6`.
 
 .. [Bec1992] Bernhard Beckermann. "A reliable method for computing M-Padé
              approximants on arbitrary staircases". J. Comput. Appl. Math.,
@@ -568,7 +572,7 @@ REFERENCES:
 .. [BH2017] Georgia Benkart and Tom Halverson. *Partition algebras*
             `\mathsf{P}_k(n)` *with* `2k > n` *and the fundamental theorems
             of invariant theory for the symmetric group* `\mathsf{S}_n`.
-            Preprint (2017). :arXiv:`1707.1410`
+            Preprint (2017). :arxiv:`1707.1410`
 
 .. [BHS2008] Robert Bradshaw, David Harvey and William
              Stein. strassen_window_multiply_c. strassen.pyx, Sage
@@ -810,7 +814,7 @@ REFERENCES:
 .. [Bre1993] Richard P. Brent.
              *On computing factors of cyclotomic polynomials*.
              Mathematics of Computation. **61** (1993). No. 203. pp 131--149.
-             :arXiv:`1004.5466v1`. http://www.jstor.org/stable/2152941
+             :arxiv:`1004.5466v1`. http://www.jstor.org/stable/2152941
 
 .. [Bre1997] \T. Breuer "Integral bases for subfields of cyclotomic
              fields" AAECC 8, 279--289 (1997).
@@ -1080,6 +1084,11 @@ REFERENCES:
             and Monographs*. American Mathematical Society,
             Providence, RI, 1999.
 
+.. [CK2008] Derek G. Corneil and Richard M. Krueger, *A Unified View
+            of Graph Searching*, SIAM Jounal on Discrete Mathematics,
+            22(4), 1259–-1276, 2008.
+            :doi:`10.1137/050623498`
+
 .. [CK2001] \M. Casella and W. Kühnel, "A triangulated K3 surface with
             the minimum number of vertices", Topology 40 (2001),
             753--772.
@@ -1570,7 +1579,7 @@ REFERENCES:
 .. [EGHLSVY] Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai
              Liu, Alex Schwendner, Dmitry Vaintrob, Elena Yudovina,
              "Introduction to representation theory",
-             :arXiv:`0901.0827v5`.
+             :arxiv:`0901.0827v5`.
 
 .. [EKLP1992] \N. Elkies, G. Kuperberg, M. Larsen, J. Propp,
               *Alternating-Sign Matrices and Domino Tilings*, Journal of Algebraic
@@ -1660,7 +1669,7 @@ REFERENCES:
 
 .. [Feingold2004] Alex J. Feingold. *Fusion rules for affine Kac-Moody algebras*.
                   Contemp. Math., **343** (2004), pp. 53-96.
-                  :arXiv:`math/0212387`
+                  :arxiv:`math/0212387`
 
 .. [Feu2009] \T. Feulner. The Automorphism Groups of Linear Codes and
              Canonical Representatives of Their Semilinear Isometry
@@ -1761,7 +1770,7 @@ REFERENCES:
 
 .. [Fuchs1994] \J. Fuchs. *Fusion Rules for Conformal Field Theory*.
                Fortsch. Phys. **42** (1994), no. 1, pp. 1-48.
-               :doi:`10.1002/prop.2190420102`, :arXiv:`hep-th/9306162`.
+               :doi:`10.1002/prop.2190420102`, :arxiv:`hep-th/9306162`.
 
 .. [Ful1989] \W. Fulton. Algebraic curves: an introduction to algebraic geometry. Addison-Wesley,
              Redwood City CA (1989).
@@ -2706,8 +2715,7 @@ REFERENCES:
 .. [KSV2011] Ian Kiming, Matthias Schuett and Helena Verrill, "Lifts
              of projective congruence groups", J. London
              Math. Soc. (2011) 83 (1): 96-120,
-             :doi:`10.1112/jlms/jdq062`. Arxiv version:
-             :arxiv:`0905.4798`.
+             :doi:`10.1112/jlms/jdq062`, :arxiv:`0905.4798`.
 
 .. [KT1986] \N. Kerzman and M. R. Trummer. "Numerical Conformal
             Mapping via the Szego kernel". Journal of Computational
@@ -2915,7 +2923,7 @@ REFERENCES:
 
 .. [LNSSS2013] \C. Lenart, S. Naito, D. Sagaki, A. Schilling, M. Shimozono,
                *A uniform model for Kirillov-Reshetikhin crystals. Extended abstract.*
-               DMTCS proc, to appear ( :arXiv:`1211.6019` )
+               DMTCS proc, to appear ( :arxiv:`1211.6019` )
 
 .. [Lod1995] Jean-Louis Loday. *Cup-product for Leibniz cohomology and
              dual Leibniz algebras*. Math. Scand., pp. 189--196
@@ -2970,7 +2978,7 @@ REFERENCES:
 .. [LR0102066] Jean-Louis Loday and Maria O. Ronco.
                Order structure on the algebra of permutations
                and of planar binary trees.
-               :arXiv:`math/0102066v1`.
+               :arxiv:`math/0102066v1`.
 
 .. [LS] \A. Lum, W. Stein. Verification of the Birch and
         Swinnerton-Dyer Conjecture for Elliptic Curves with Complex
@@ -2992,7 +3000,7 @@ REFERENCES:
 
 .. [LS2012] \K.-H. Lee and B. Salisbury.
             Young tableaux, canonical bases, and the Gindikin-Karpelevich formula.
-            :arXiv:`1205.6006`.
+            :arxiv:`1205.6006`.
 
 .. [LS2017] Xuan Liu and Travis Scrimshaw. *A uniform approach to soliton
             cellular automata using rigged configurations*.
@@ -3695,6 +3703,10 @@ REFERENCES:
 .. [RL1971] \J. Rokne, P. Lancaster. Complex interval arithmetic.
             Communications of the ACM 14. 1971.
 
+.. [RM2017] Robert Muth.
+            *Super RSK correspondence with symmetry*.
+            :arXiv:`1711.00420v1`.
+
 .. [RMA2009] \P. Réal and H. Molina-Abril, *Cell AT-models for digital
              volumes* in Torsello, Escolano, Brun (eds.), Graph-Based
              Representations in Pattern Recognition, Lecture Notes in
@@ -3758,7 +3770,7 @@ REFERENCES:
 
 .. [RSW2011] Victor Reiner, Franco Saliola, Volkmar Welker.
              *Spectra of Symmetrized Shuffling Operators*.
-             :arXiv:`1102.2460v2`.
+             :arxiv:`1102.2460v2`.
 
 .. [Rub1991] \K. Rubin. The "main conjectures" of Iwasawa theory for
              imaginary quadratic fields. Invent. Math. 103 (1991),
@@ -4122,7 +4134,7 @@ REFERENCES:
 
 .. [Stu2008] \C. Stump -- More bijective Catalan combinatorics on
              permutations and on colored permutations, Preprint.
-             :arXiv:`0808.2822`.
+             :arxiv:`0808.2822`.
 
 .. [STW2013] \J. Schejbal, E. Tews, and J. Wälde,
              *Reverse engineering of chiasmus from gstool*; in

diff --git a/src/doc/en/thematic_tutorials/algebraic_combinatorics/tsetlin_library.rst b/src/doc/en/thematic_tutorials/algebraic_combinatorics/tsetlin_library.rst
@@ -187,4 +187,4 @@ arbitrary posets was given in [AKS2013]_.
 .. [AKS2013] Arvind Ayyer, Steven Klee, Anne Schilling.
     *Combinatorial Markov chains on linear extensions*
     J. Algebraic Combinatorics,
-    :doi:`10.1007/s10801-013-0470-9`, :arXiv:`1205.7074`.
+    :doi:`10.1007/s10801-013-0470-9`, :arxiv:`1205.7074`.