Opened 2 years ago

Closed 2 years ago

Last modified 22 months ago

#29696 closed enhancement (fixed)

Implement the blob algebra

Reported by: tscrim Owned by:
Priority: major Milestone: sage-9.2
Component: combinatorics Keywords:
Cc: sage-combinat, andrew.mathas Merged in:
Authors: Travis Scrimshaw Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: 8061aa2 (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description

Also known as the Temperley-Lieb algebra of type B. This is an important algebra appearing in mathematical physics and the blob vs Soergel conjecture.

Change History (25)

comment:1 Changed 2 years ago by tscrim

  • Branch set to public/combinat/blob_algebra-29696
  • Commit set to 5e02fc68e97e18a06949b3bda2e3a39ace990184

New commits:

5e02fc6Initial implementation of blob algebras.

comment:2 Changed 2 years ago by git

  • Commit changed from 5e02fc68e97e18a06949b3bda2e3a39ace990184 to fb4cb464afe1d91051efc36b15e3e7dfb7cd3b07

Branch pushed to git repo; I updated commit sha1. New commits:

fb4cb46Slightly abstracting the latex code for diagrams to use in blob algebra.

comment:3 Changed 2 years ago by tscrim

  • Status changed from new to needs_review

comment:4 Changed 2 years ago by chapoton

  • Typo in:
    +.. [ILZ2018] \K. Iohara, G. Gehrer, and R. Zhang.
    

second author should be G. Lehrer

  • unicode art ? (ok, not really needed...)

comment:5 Changed 2 years ago by git

  • Commit changed from fb4cb464afe1d91051efc36b15e3e7dfb7cd3b07 to 1039ed05cdb3fe1e115df52221f8600614d257ee

Branch pushed to git repo; I updated commit sha1. New commits:

1039ed0Adding ascii/unicode art for Temperley-Lieb/blob diagrams.

comment:6 Changed 2 years ago by tscrim

Fixed for the first. As for the second, it took some work, but I implemented an ascii/unicode art and it looks beautiful IMO. Now the question becomes will someone figure out a better way to do it or to generalize it in some way to general partition diagrams. Anyways, it works for now.

comment:7 follow-up: Changed 2 years ago by chapoton

patchbot plugin is not happy with invalid espace sequences, some missing r""" ?

comment:8 Changed 2 years ago by git

  • Commit changed from 1039ed05cdb3fe1e115df52221f8600614d257ee to 7dd76f64ed82e803c8e17263e79f6a6840843d20

Branch pushed to git repo; I updated commit sha1. New commits:

2d64558Merge branch 'public/combinat/blob_algebra-29696' of git://trac.sagemath.org/sage into public/combinat/blob_algebra-29696
7dd76f6Added an r""" to TL_diagram_ascii_art().

comment:9 in reply to: ↑ 7 Changed 2 years ago by tscrim

Replying to chapoton:

patchbot plugin is not happy with invalid espace sequences, some missing r""" ?

Indeed I was missing a necessary one on TL_diagram_ascii_art(). Fixed.

comment:10 Changed 2 years ago by chapoton

ok, looks good. But I suspect that the bullet ⚫ will break the unicode display alignment in many fonts. Maybe the letter "capital O" would do a better job, even if not as nice.

comment:11 Changed 2 years ago by git

  • Commit changed from 7dd76f64ed82e803c8e17263e79f6a6840843d20 to e5e91e7a8d8fbabb93ed2ff7278c7eefa19da44c

Branch pushed to git repo; I updated commit sha1. New commits:

e5e91e7Better unicode object for the blob.

comment:12 Changed 2 years ago by tscrim

I agree. Here is another attempted. What do you think?

comment:13 Changed 2 years ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review

Much better !

Say hello to the

   __         __
 /"  "\     /"  "\
(  (\  )___(  /)  )
 \               /
 /               \
/    () ___ ()    \
|      (   )      |
 \      \_/      /
   \...__!__.../
         "

comment:14 Changed 2 years ago by tscrim

<3

Thank you.

comment:15 Changed 2 years ago by vbraun

  • Status changed from positive_review to needs_work

PDF docs don't build

comment:16 Changed 2 years ago by git

  • Commit changed from e5e91e7a8d8fbabb93ed2ff7278c7eefa19da44c to 57bc9f6d68da9c4e9a596d942562e03f4d76dc78

Branch pushed to git repo; I updated commit sha1. New commits:

85dbe35Merge branch 'public/combinat/blob_algebra-29696' of git://trac.sagemath.org/sage into public/combinat/blob_algebra-29696
57bc9f6Attempt to fix pdf build, plus other misc fixes.

comment:17 Changed 2 years ago by tscrim

  • Status changed from needs_work to needs_review

Okay, I have tried to fix the pdf docbuild. At least, this is the only thing that I could see that would break it. I will try to test it later today.

comment:18 follow-up: Changed 2 years ago by chapoton

unicode may be another source of latex issues, alas

comment:19 in reply to: ↑ 18 Changed 2 years ago by tscrim

Replying to chapoton:

unicode may be another source of latex issues, alas

Well, if that is indeed the problem, we can just remove that output (well, the ones with the blobs on them).

comment:20 Changed 2 years ago by git

  • Commit changed from 57bc9f6d68da9c4e9a596d942562e03f4d76dc78 to 8061aa2073e806dc3c465c4a53828604d5b1802d

Branch pushed to git repo; I updated commit sha1. New commits:

8061aa2Fixing the pdf docbuild.

comment:21 Changed 2 years ago by tscrim

So it was that in part, and because I forgot to add the blob algebra to the BLOC (big list of combinatorics) modules. The html and pdf docs now builds for me.

Last edited 2 years ago by tscrim (previous) (diff)

comment:22 Changed 2 years ago by chapoton

  • Status changed from needs_review to positive_review

ok, looks good. Let us try again

comment:23 Changed 2 years ago by vbraun

  • Branch changed from public/combinat/blob_algebra-29696 to 8061aa2073e806dc3c465c4a53828604d5b1802d
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:24 Changed 22 months ago by mkoeppe

  • Commit 8061aa2073e806dc3c465c4a53828604d5b1802d deleted

Looking at https://wiki.sagemath.org/ReleaseTours/sage-9.2#Unicode_art, unfortunately the "⚬" does not align well with the line art when viewed in the Chrome browser on macOS (it's fine, of course, in Emacs and in the terminal)

comment:25 Changed 22 months ago by tscrim

Same for me using Firefox on Ubuntu, but it might just be something we have to live with.

Note: See TracTickets for help on using tickets.