Implementation of Littelmann path model for crystals

[anneschilling]

This patch implements the crystal graph using the Littelmann path model.
The elements are LS paths generated from the straight-line path to a given weight.
Also, the iterator function and lists in crystals is cleaned up.

CC: @sagetrac-sage-combinat

Component: combinatorics

Keywords: crystals, sd40

Author: Mark Shimozono, Anne Schilling

Reviewer: Anne Schilling, Mark Shimozono

Merged: sage-5.3.beta1

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

[anneschilling]

Reviewer: Anne Schilling, Mark Shimozono

[anneschilling]

comment:2

Hi Mark,

The latest version of the patch is attached and ready for the final review (it is also on the sage-combinat queue).

Anne

[anneschilling]

Changed keywords from crystals to crystals, sd40

[jdemeyer]

comment:6

There is a doctest failure:

sage -t --long "devel/sage/sage/categories/classical_crystals.py"
**********************************************************************
File "/usr/local/src/sage-5.2.rc1/devel/sage/sage/categories/classical_crystals.py", line 323:
    sage: TestSuite(fb4(1,0,1,0)).run(verbose = True)  # long time (8s on sage.math, 2011)
Expected:
    running ._test_an_element() . . . pass
    running ._test_category() . . . pass
    running ._test_elements() . . .
    Running the test suite of self.an_element()
      running ._test_category() . . . pass
      running ._test_eq() . . . pass
      running ._test_not_implemented_methods() . . . pass
      running ._test_pickling() . . . pass
      running ._test_stembridge_local_axioms() . . . pass
      pass
    running ._test_elements_eq() . . . pass
    running ._test_enumerated_set_contains() . . . pass
    running ._test_enumerated_set_iter_cardinality() . . . pass
    running ._test_enumerated_set_iter_list() . . .Enumerated set too big; skipping test; see ``self.max_test_enumerated_set_loop``
    pass
    running ._test_eq() . . . pass
    running ._test_fast_iter() . . . pass
    running ._test_not_implemented_methods() . . . pass
    running ._test_pickling() . . . pass
    running ._test_some_elements() . . . pass
    running ._test_stembridge_local_axioms() . . . pass
Got:
    running ._test_an_element() . . . pass
    running ._test_category() . . . pass
    running ._test_elements() . . .
      Running the test suite of self.an_element()
      running ._test_category() . . . pass
      running ._test_eq() . . . pass
      running ._test_not_implemented_methods() . . . pass
      running ._test_pickling() . . . pass
      running ._test_stembridge_local_axioms() . . . pass
      pass
    running ._test_elements_eq() . . . pass
    running ._test_enumerated_set_contains() . . . pass
    running ._test_enumerated_set_iter_cardinality() . . . pass
    running ._test_enumerated_set_iter_list() . . . pass
    running ._test_eq() . . . pass
    running ._test_fast_iter() . . . pass
    running ._test_not_implemented_methods() . . . pass
    running ._test_pickling() . . . pass
    running ._test_some_elements() . . . pass
    running ._test_stembridge_local_axioms() . . . pass
**********************************************************************

[anneschilling]

comment:7

Attachment: trac_12251-littelmann-as.patch.gz

Thank you Jeroen for catching this! It should be fixed in the new attached patch.

Anne

[jdemeyer]

Merged: sage-5.3.beta1