-
-
Notifications
You must be signed in to change notification settings - Fork 401
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.
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
Implement the Feichtner-Yuzvinsky rings for lattices #35472
Implement the Feichtner-Yuzvinsky rings for lattices #35472
Conversation
93b05c6
to
625f262
Compare
add missing \
Documentation preview for this PR is ready! π |
@fchapoton Thank you for pushing that fix (I was away from a development computer this weekend). Your change LGTM. If everything else is fine, then please approve and set to a positive review. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
good for me
Thank you. |
π Description
We provide an implementation of the Feichtner-Yuzvinsky ring of a lattice$L$ and a subset $G \subseteq L$ . Our implementation is a slight generalization of the original definition to let $G$ be arbitrary. This is a commutative ring associated to a lattice as the quotient of $R[h_g | g \in G]$ by all $h_a$ for $a \in G$ an atom of $L$ and
where$A$ is an antichain of $G$ such that $g := \bigvee A \in G$ .
π Checklist
β Dependencies