From 6314a362dafe755a019b38e71a9e1933bd7537f1 Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Sun, 23 Mar 2014 09:50:29 -0700 Subject: [PATCH] Fixed doc of classical_crystals and added regular_crystals to doc. --- src/doc/en/reference/categories/index.rst | 1 + src/sage/categories/classical_crystals.py | 7 ++++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/doc/en/reference/categories/index.rst b/src/doc/en/reference/categories/index.rst index 17fffde439a..5b98eaab972 100644 --- a/src/doc/en/reference/categories/index.rst +++ b/src/doc/en/reference/categories/index.rst @@ -119,6 +119,7 @@ Categories sage/categories/pointed_sets sage/categories/principal_ideal_domains sage/categories/quotient_fields + sage/categories/regular_crystals sage/categories/right_modules sage/categories/ring_ideals sage/categories/rings diff --git a/src/sage/categories/classical_crystals.py b/src/sage/categories/classical_crystals.py index 9b42b575f67..2b95e0c08c9 100644 --- a/src/sage/categories/classical_crystals.py +++ b/src/sage/categories/classical_crystals.py @@ -141,9 +141,10 @@ def demazure_character(self, w, f = None): weight space is the ambient space. The Demazure character is obtained by applying the Demazure operator - `D_w` (see :meth:`sage.categories.crystals.Crystals.ParentMethods.demazure_operator`) + `D_w` (see :meth:`sage.categories.regular_crystals.RegularCrystals.ParentMethods.demazure_operator`) to the highest weight element of the classical crystal. The simple - Demazure operators `D_i` (see :meth:`sage.categories.crystals.Crystals.ElementMethods.demazure_operator_simple`) + Demazure operators `D_i` (see + :meth:`sage.categories.regular_crystals.RegularCrystals.ElementMethods.demazure_operator_simple`) do not braid on the level of crystals, but on the level of characters they do. That is why it makes sense to input ``w`` either as a weight, a reduced word, or as an element of the underlying Weyl group. @@ -177,7 +178,7 @@ def demazure_character(self, w, f = None): sage: T.demazure_character([1,2],f=lambda x:b2(x.weight())) b2(-1/2,1/2) + b2(1/2,-1/2) + b2(1/2,1/2) - REFERENCES:: + REFERENCES: .. [D1974] M. Demazure, Desingularisation des varietes de Schubert, Ann. E. N. S., Vol. 6, (1974), p. 163-172