📚 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

$$ \prod_{a \in A} h_g - h_a, $$

where $A$ is an antichain of $G$ such that $g := \bigvee A \in G$.

📝 Checklist

• The title is concise, informative, and self-explanatory.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

⌛ Dependencies