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

Added the alt nu-tamari lattices #37221

Merged
merged 11 commits into from
Feb 25, 2024
+177 −6
Merged

Added the alt nu-tamari lattices #37221

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
25db904
implemented the alt nu-Tamari lattices
Feb 1, 2024
fce64e5
finishing touches
Feb 1, 2024
d238b00
fix doc
Feb 1, 2024
7975ad6
one (blank) line fix
Feb 1, 2024
a0dcc80
less whitespaces!
Feb 1, 2024
3bd4a05
minifix ref
Feb 2, 2024
2a45b2e
whitespaces empty lines
Feb 2, 2024
d7d93ef
Merge branch 'develop' into alt_nu_tamari
Feb 6, 2024
12bb9b2
Merge branch 'develop' into alt_nu_tamari
fchapoton Feb 14, 2024
25eefbf
added two test cases and cut lines at 80 characters
Feb 14, 2024
9fdbfe9
small fixes
Feb 15, 2024
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
Prev Previous commit
Next Next commit
Merge branch 'develop' into alt_nu_tamari
  • Loading branch information
@fchapoton
fchapoton authored Feb 14, 2024
commit 12bb9b26a64deb13c43f1d46c08eac622b04304b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.