Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix latex code in one crystal file #39594

Open
wants to merge 2 commits into
base: develop
Choose a base branch
from
Open

fix latex code in one crystal file #39594

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ade088c
fix latex code in one crystal file
fchapoton Feb 26, 2025
b7c2a75
fix unicode art
fchapoton Feb 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 24 additions & 14 deletions src/sage/combinat/crystals/generalized_young_walls.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -156,15 +156,15 @@ def _unicode_art_(self):
┤
│
┌───┬───┬───┐
│ 1 │ 0 │ 2 │
│ 2 │ 0 │ 1 │
└───┴───┼───┤
│ 0 │
└───┘
│
┌───┬───┬───┬───┬───┐
│ 1 │ 0 │ 2 │ 1 │ 0 │
│ 0 │ 1 │ 2 │ 0 │ 1 │
└───┴───┼───┼───┼───┤
│ 0 │ 2 │ 1 │
│ 1 │ 2 │ 0 │
└───┴───┴───┘
"""
from sage.typeset.unicode_art import UnicodeArt
Expand All @@ -175,7 +175,8 @@ def _unicode_art_(self):
import unicodedata
v = unicodedata.lookup('BOX DRAWINGS LIGHT VERTICAL')
vl = unicodedata.lookup('BOX DRAWINGS LIGHT VERTICAL AND LEFT')
table = [[None] * (self.cols - len(row)) + row for row in reversed(self)]
table = [[None] * (self.cols - len(row)) + list(reversed(row))
for row in reversed(self)]
ret = []
for i, row in enumerate(ascii_art_table(table, use_unicode=True).splitlines()):
if row[-1] == " ":
Expand Down Expand Up @@ -426,7 +427,11 @@ def sum_of_weighted_row_lengths(self):
15
"""
n = self.parent().cartan_type().rank() - 1
m = lambda i: len([1 for r in self.data if r and r[0] == (i - 1) % (n + 1)])

def m(i):
mod = (i - 1) % (n + 1)
return len([1 for r in self.data if r and r[0] == mod])

for r in self.data:
if r and r[0] == n:
raise ValueError('Statistic only valid for generalized Young walls in Y_0')
Expand Down Expand Up @@ -499,16 +504,17 @@ def f(self, i):
newdata.append([i])
return self.__class__(self.parent(), newdata)

def latex_large(self):
def latex_large(self) -> str:
r"""
Generate LaTeX code for ``self`` but the output is larger.
Requires TikZ.

This requires TikZ.

EXAMPLES::

sage: x = crystals.infinity.GeneralizedYoungWalls(3)([[],[1,0,3,2],[2,1],[3,2,1,0,3,2],[],[],[2]])
sage: x.latex_large()
'\\begin{tikzpicture}[baseline=5,scale=.45] \n \\foreach \\x [count=\\s from 0] in \n{{},{1,0,3,2},{2,1},{3,2,1,0,3,2},{},{},{2}} \n{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\scriptsize] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-,thick] (.5,\\s+1) to (.5,-.5) to (-\\t-1,-.5); } \n \\end{tikzpicture} \n'
'\\begin{tikzpicture}[baseline=5,scale=.45] \n \\foreach \\x [count=\\s from 0] in \n{{},{1,0,3,2},{2,1},{3,2,1,0,3,2},{},{},{2}} \n{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\scriptsize] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-,thick] (.5,\\s+1) to (.5,-.5) to (-\\s-1,-.5); } \n \\end{tikzpicture} \n'
"""
s = ""
if not self.data:
Expand All @@ -517,18 +523,20 @@ def latex_large(self):
s += "\\begin{tikzpicture}[baseline=5,scale=.45] \n \\foreach \\x [count=\\s from 0] in \n"
s += "{" + ','.join("{" + ','.join(str(i) for i in r) + "}"
for r in self.data) + "} \n"
s += "{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\scriptsize] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-,thick] (.5,\\s+1) to (.5,-.5) to (-\\t-1,-.5); } \n \\end{tikzpicture} \n"
s += "{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\scriptsize] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-,thick] (.5,\\s+1) to (.5,-.5) to (-\\s-1,-.5); } \n \\end{tikzpicture} \n"
return s

def _latex_(self):
def _latex_(self) -> str:
r"""
Generate LaTeX code for ``self``. Requires TikZ.
Generate LaTeX code for ``self``.

This requires TikZ.

EXAMPLES::

sage: x = crystals.infinity.GeneralizedYoungWalls(3)([[],[1,0,3,2],[2,1],[3,2,1,0,3,2],[],[],[2]])
sage: x._latex_()
'\\begin{tikzpicture}[baseline=5,scale=.25] \\foreach \\x [count=\\s from 0] in \n{{},{1,0,3,2},{2,1},{3,2,1,0,3,2},{},{},{2}} \n{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\tiny] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-] (.5,\\s+1) to (.5,-.5) to (-\\t-1,-.5); } \n \\end{tikzpicture} \n'
'\\begin{tikzpicture}[baseline=5,scale=.25] \\foreach \\x [count=\\s from 0] in \n{{},{1,0,3,2},{2,1},{3,2,1,0,3,2},{},{},{2}} \n{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\tiny] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-] (.5,\\s+1) to (.5,-.5) to (-\\s-1,-.5); } \n \\end{tikzpicture} \n'
"""
s = ""
if not self.data:
Expand All @@ -537,7 +545,7 @@ def _latex_(self):
s += "\\begin{tikzpicture}[baseline=5,scale=.25] \\foreach \\x [count=\\s from 0] in \n"
s += "{" + ','.join("{" + ','.join(str(i) for i in r) + "}"
for r in self.data) + "} \n"
s += "{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\tiny] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-] (.5,\\s+1) to (.5,-.5) to (-\\t-1,-.5); } \n \\end{tikzpicture} \n"
s += "{\\foreach \\y [count=\\t from 0] in \\x { \\node[font=\\tiny] at (-\\t,\\s) {$\\y$}; \n \\draw (-\\t+.5,\\s+.5) to (-\\t-.5,\\s+.5); \n \\draw (-\\t+.5,\\s-.5) to (-\\t-.5,\\s-.5); \n \\draw (-\\t-.5,\\s-.5) to (-\\t-.5,\\s+.5); } \n \\draw[-] (.5,\\s+1) to (.5,-.5) to (-\\s-1,-.5); } \n \\end{tikzpicture} \n"
return s

def weight(self, root_lattice=False):
Expand Down Expand Up @@ -1036,8 +1044,10 @@ def __init__(self, n, La):

sage: TestSuite(YLa).run(skip=["_test_enumerated_set_contains","_test_stembridge_local_axioms"]) # long time
"""
cat = (RegularCrystals(), HighestWeightCrystals(),
InfiniteEnumeratedSets())
InfinityCrystalOfGeneralizedYoungWalls.__init__(self, n,
category=(RegularCrystals(), HighestWeightCrystals(), InfiniteEnumeratedSets()))
category=cat)
self.hw = La

Element = CrystalOfGeneralizedYoungWallsElement
Expand Down
Loading