Implement Crystals of Generalized Young Walls

[bsalisbury1]

Implements the crystal B(\infty) and B(\lambda), for a highest weight \lambda, in terms of generalized Young walls in affine type A_n^{(1)}.

---

Apply attachment: trac_14130-gyw-bs.patch

Depends on #14052

CC: @tscrim @sagetrac-sage-combinat

Component: combinatorics

Keywords: crystal, generalized Young wall, days45

Author: Lucas David-Roesler, Ben Salisbury

Reviewer: Travis Scrimshaw, Anne Schilling

Merged: sage-5.8.beta3

Issue created by migration from https://trac.sagemath.org/ticket/14130

[tscrim]

comment:2

Looks good to me.

For patchbot:

Apply: trac_14130-gyw-bw.2.patch

[anneschilling]

comment:4

We discussed a couple more small changes that Ben is going to implement.

[bsalisbury1]

comment:5

For patchbot:

Apply: trac_14130-gyw-bs.patch

[anneschilling]

Changed reviewer from Travis Scrimshaw to Travis Scrimshaw, Anne Schilling

[tscrim]

comment:8

Hey Ben,

One small doc thing slipped past me in the new patch; on line 18, you have

    Does not work with :funct:`TensorProductOfCrystals`.

but the link should be :func:`TensorProductOfCrystals`. Could you repost the patch with this change please?

Thanks,

Travis

[bsalisbury1]

comment:11

Made appropriate change.

Travis looked over the patch.

[jdemeyer]

Merged: sage-5.8.beta1

[jdemeyer]

Changed merged from sage-5.8.beta1 to none

[jdemeyer]

comment:13

The LaTeX PDF documentation fails to build with this patch.

[anneschilling]

comment:15

Hi Ben,

I just pushed some changes to your patch to the sage-combinat queue (since there were trailing white spaces). Please pull from there to get them .

Also, for the very last method "subcrystal" could you please add a description.

Other than that the patch looks good to me. Once you make the change and are happy with my changes, please upload on trac and set a positive review on my behalf!

Anne

[tscrim]

comment:16

Looks good to me too. Thanks.

[jdemeyer]

comment:17

The LaTeX PDF documentation still fails to build:

! Misplaced \omit.
\math@cr@@@ ...@ \@ne \add@amps \maxfields@ \omit
                                                  \kern -\alignsep@ \iftag@ ...
l.96848 \end{gather}

?
! Emergency stop.
\math@cr@@@ ...@ \@ne \add@amps \maxfields@ \omit
                                                  \kern -\alignsep@ \iftag@ ...
l.96848 \end{gather}

!  ==> Fatal error occurred, no output PDF file produced!
Transcript written on combinat.log.

[jdemeyer]

Work Issues: docpdf

[bsalisbury1]

Attachment: trac_14130-gyw-bs.patch.gz

[tscrim]

Changed work issues from docpdf to none

[tscrim]

comment:20

The problem was that the pdf docbuild did not like the align* environment inside of a .. MATH:: but the html build worked just fine with this. This has been fixed for sure now.

[jdemeyer]

Merged: sage-5.8.beta3