Regular crystals category

[tscrim]

Currently the crystals category assumes that all crystals are regular. With #14192 and #14413, there are non-regular crystals going into Sage. This will add a new subcategory of crystals for regular crystals.

---

Apply: attachment: trac_14454-regular_crystals-ts.patch

Depends on #14252
Depends on #14287

CC: @sagetrac-sage-combinat @bsalisbury1 @anneschilling @nthiery

Component: categories

Keywords: normal crystals

Author: Travis Scrimshaw, Anne Schilling

Reviewer: Anne Schilling, Travis Scrimshaw

Merged: sage-5.10.beta2

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

[tscrim]

Changed dependencies from #14413 to none

[tscrim]

comment:2

Changing dependencies to make #14402 a dependency of this ticket.

[tscrim]

Dependencies: #14252

[tscrim]

comment:5

After some discussion with Ben, we decided to call these regular crystals (this agrees with the crystals tutorial).

For patchbot:

Apply: trac_14454-regular_crystals-ts.patch

[anneschilling]

Reviewer: Anen Schilling, Travis Scrimshaw

[anneschilling]

Changed author from Travis Scrimshaw to Travis Scrimshaw, Anne Schilling

[anneschilling]

comment:7

I posted a review patch which moves some material to the appropriate category. There is still one issue: there are tests for the Stembridge rules in the finite crystal category. But really they should be in a finite/regular category. Should we create a separate category for finite regular crystals?

Anne

[bsalisbury1]

comment:8

I believe the Stembridge axioms are valid for any crystal with a simply-laced Cartan matrix, with no assumption that the crystal is finite. Can the Stembridge axioms be moved to the regular crystals category with an added condition that if the cardinality of the crystal is infinite (or unknown), then only test to finite depth?

[anneschilling]

comment:9

I tried this, but then the tests in generalized_young_walls.py did not pass any longer.

Anne

[anneschilling]

comment:10

I should say for the highest weight crystals in that file.

[tscrim]

comment:11

New version of the patch with the review patch folded in and a couple of other tweaks.

[jdemeyer]

Changed dependencies from #14252 to #14252, #14287

[jdemeyer]

comment:13

This needs to be rebased to #14287.

[tscrim]

Attachment: trac_14454-regular_crystals-ts.patch.gz

[tscrim]

comment:14

Fixed doctest from changes in #14287.

[jdemeyer]

Changed reviewer from Anen Schilling, Travis Scrimshaw to Anne Schilling, Travis Scrimshaw

[jdemeyer]

Merged: sage-5.10.beta2

[jdemeyer]

comment:17

The following doctest really takes too long:

**********************************************************************
File "devel/sage/sage/combinat/crystals/generalized_young_walls.py", line 850, in sage.combinat.crystals.generalized_young_walls.HighestWeightCrystalOfGYW.__init__
Failed example:
    TestSuite(YLa).run() # long time
Test ran for 203.43 s
**********************************************************************

It is by far the longest doctest in all of Sage. Can this test be made faster? Or removed in the worst case?

[tscrim]

comment:18

Hey Jeroen,

I'm working on it right now. I'll let you know what I find.

Best,

Travis