Problem Description

Moment-angle complexes are currently being worked on, but they are just a special case of the (much more abstract) polyhedral product. Another example of a polyhedral product is a real moment-angle complex (the one we currently have is the complex moment-angle complex).

Proposed Solution

The proposition is the create a parent class for MomentAngleComplex, the PolyhedralProduct class, and implement everything we can there. Then we can also begin working on the real moment-angle complexes.

Alternatives Considered

There are no other approaches to this, as the complex moment-angle complexes differ significantly from the real moment-angle complexes, and neither polyhedral products nor real moment-angle complexes are being worked on currently.

Additional Information

This issue is regarding the PR #35875, and, consequently, is a part of #35640 (GSoC2023).

Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.