Issues

• Write a constructor for IsHomogenization that takes an AffineSubspace

  ooovi/Polyhedral#110 · Filter by author ooovi opened on Sep 30, 2026

• Define FiniteDimensional for affine spaces

  ooovi/Polyhedral#97 · Filter by author martinwintermath opened on Sep 4, 2026

• Decide whether if IsHomogenization should be a class and adjust style accordingly

  ooovi/Polyhedral#68 · Filter by author martinwintermath opened on Jun 8, 2026

• Use consistent notation

  ooovi/Polyhedral#67 · Filter by author martinwintermath opened on Jun 8, 2026

• Apply homogenizeOrderEquiv

  ooovi/Polyhedral#66 · Filter by author martinwintermath opened on Jun 8, 2026

• Use LinearMap.positive throughout

  ooovi/Polyhedral#64 · Filter by author martinwintermath opened on Jun 8, 2026

• Write an instance of Homogenization for hyperplanes

  ooovi/Polyhedral#59 · Filter by author ooovi opened on Jun 4, 2026
  1

• Make pointwise operations (on convex sets, polytopes, ...) scoped

  ooovi/Polyhedral#58 · Filter by author martinwintermath opened on Jun 3, 2026

• Rank of homogenization is 1 + rank of initial set

  ooovi/Polyhedral#56 · Filter by author martinwintermath opened on Jun 3, 2026

• Order isomorphism along homogenization

  ooovi/Polyhedral#55 · Filter by author martinwintermath opened on Jun 3, 2026
  2

• Try to define ConvexSpace without strict order

  ooovi/Polyhedral#39 · Filter by author ooovi opened on Apr 27, 2026

• duplicate face api for convex sets

  ooovi/Polyhedral#34 · Filter by author ooovi opened on Apr 20, 2026

• Show homogenization preserves topological closedness

  ooovi/Polyhedral#32 · Filter by author ooovi opened on Apr 20, 2026

• Intervals of the face lattice are face lattices

  ooovi/Polyhedral#27 · Filter by author ooovi opened on Mar 11, 2026

• Low dimensional examples

  ooovi/Polyhedral#14 · Filter by author ooovi opened on Feb 5, 2026

• Face lattice is complemented

  ooovi/Polyhedral#13 · Filter by author martinwintermath opened on Feb 5, 2026

• Face lattice is flag connected

  ooovi/Polyhedral#12 · Filter by author ooovi opened on Feb 5, 2026

• Face lattice has the diamond property

  ooovi/Polyhedral#11 · Filter by author ooovi opened on Feb 5, 2026

• Prove that the face lattice is an abstract polytope

  ooovi/Polyhedral#9 · Filter by author ooovi opened on Feb 5, 2026

• Implement CoFG theory for Submodule

  ooovi/Polyhedral#8 · Filter by author martinwintermath opened on Oct 12, 2025
  1

• Replace p.IsPerfPair by Injective

  ooovi/Polyhedral#7 · Filter by author martinwintermath opened on Oct 12, 2025

• Define FaceLattice on PointedCone

  ooovi/Polyhedral#6 · Filter by author martinwintermath opened on Oct 9, 2025
  1

• Faces for PointedCone

  ooovi/Polyhedral#5 · Filter by author martinwintermath opened on Oct 8, 2025
  3

• Rethinking IsPolyhedral + CoFG

  ooovi/Polyhedral#4 · Filter by author martinwintermath opened on Oct 8, 2025