We implement the Aomoto complex of the Orlik-Solomon algebra $A$, which is defined as the chain complex on $A$ with the differential defined by $\omega \wedge$ for any $\omega \in A_1$.

We also provide an implemented of Hilbert series for any filtered module, where those for finite rank modules return honest polynomials. (This was originally going to be just for the Orlik-Solomon algebra, but the implementation trivially generalizes.)

📝 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