Categorification of Crystals

[anneschilling]

This patch let the crystal code use the category framework

New crystal categories:

• Crystals
• FiniteCrystals
• HighestWeightCrystals
• ClassicalCrystals

together with a template in categories/example/crystals on how to
implement a new crystal.

The files

• combinat/crystals/letters.py
• combinat/crystals/tensor_product.py
• combinat/crystals/spins.py
• combinat/crystals/fast_crystals.py
• combinat/crystals/highest_weight_crystals.py
• combinat/crystals/direct_sum.py
• combinat/crystals/affine.py
• combinat/crystals/kirillov_reshetikhin.py

have been categorified. What was before in

• combinat/crystals

is now mostly in the various categories except for the BackTracker class and the documentation about crystals.

This patch breaks old crystal pickles. Well, those were actually
silently broken since #7978 four months ago, and no-one voted for
against this on sage-combinat-devel.

Depends on #8881. Requires updating Sage's pickle jar.

CC: @sagetrac-sage-combinat

Component: combinatorics

Keywords: crystals

Author: Anne Schilling

Reviewer: Nicolas M. Thiery

Merged: sage-4.4.4.alpha1

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

[anneschilling]

Changed keywords from none to crystals

[anneschilling]

Author: Anne Schilling

[anneschilling]

Reviewer: Nicolas M. Thiery

[anneschilling]

comment:4

Nicolas set a positive review on this provided that the old crystal pickle jars can be replaced by new ones (nobody seemed to complain that they needed the old ones, see

http://groups.google.com/group/sage-combinat-devel/browse_thread/thread/7b20c1bef1598707/5a98f8b5f3443cfd?hl=en&lnk=gst&q=unpickling+of+crystals#5a98f8b5f3443cfd

[nthiery]

This is the pickle jar from sage-4.4.2 (and most likely sage-4.4.3), with the crystal pickles updated

[nthiery]

comment:5

Attachment: pickle_jar.tar.bz2.gz

[anneschilling]

Attachment: trac_8911_categorification_crystals-as.patch.gz

[mwhansen]

comment:6

Looks good to me.

[mwhansen]

Merged: sage-4.4.4.alpha1