Search results

Low dimensional examples

Status: Open.

#14 In ooovi/Polyhedral;

· ooovi opened on Feb 5, 2026

Face lattice is complemented

Status: Open.

#13 In ooovi/Polyhedral;

· martinwintermath opened on Feb 5, 2026

Face lattice is flag connected

Status: Open.

#12 In ooovi/Polyhedral;

· ooovi opened on Feb 5, 2026

Face lattice has the diamond property

Status: Open.

#11 In ooovi/Polyhedral;

· ooovi opened on Feb 5, 2026

Face lattice is graded

Status: Open.

#10 In ooovi/Polyhedral;

· ooovi opened on Feb 5, 2026

Prove that the face lattice is an abstract polytope

Status: Open.

#9 In ooovi/Polyhedral;

· ooovi opened on Feb 5, 2026

Implement <code>CoFG</code> theory for <code>Submodule</code>

Status: Open.

#8 In ooovi/Polyhedral;

· martinwintermath opened on Oct 12, 2025

Replace <code>p.IsPerfPair</code> by <code>Injective</code>

Status: Open.

#7 In ooovi/Polyhedral;

· martinwintermath opened on Oct 12, 2025

Define <code>FaceLattice</code> on <code>PointedCone</code>

Status: Open.

#6 In ooovi/Polyhedral;

· martinwintermath opened on Oct 9, 2025

Faces for <code>PointedCone</code>

Status: Open.

#5 In ooovi/Polyhedral;

· martinwintermath opened on Oct 8, 2025

Rethinking IsPolyhedral + CoFG

Status: Open.

#4 In ooovi/Polyhedral;

· martinwintermath opened on Oct 8, 2025