Let K be a finite simplicial complex, then the face ring of K is the ring A/I where A is the exterior algebra on the vertex set of K and I is the ideal generated by monomials corresponding to non-faces of K.
Question: Is there an easy way to obtain the exterior face ring in Sage?
